Anglais ⇄ Allemand Anglais Danois Espagnol Finnois Français Grec Italien Langues chinoises Néerlandais Portugais Russe Suédois Ukrainien +

first order logic
informat.	calcolo dei predicati; logica dei predicati; logica del primo ordine
Anglais glossaire
first-order logic
math.	first-order predicate logic (ssn)

first order logic : 4 phrases, 1 sujets

Informatique

4