Angielski ⇄ Chiński Duński Esperanto Fiński Francuski Grecki Hiszpański Niderlandzki Niemiecki Portugalski Rosyjski Szwedzki Ukraiński Włoski +

axiomatic semantics
technol.	Floyd-Hoare-Semantik f; Hoarsche Semantik; axiomatische Semantik