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

first-order logic contraintes
math.	логика первого порядка; первопорядковая логика (vitalinew); логика предикатов первого порядка (= first-order predicate logic ssn)
ordin.	исчисление предикатов первого порядка
électr.	логика предикатов первого порядка
first order logic
ordin.	логика первого порядка
Anglais glossaire
first-order logic
math.	first-order predicate logic (ssn)

first-order logic : 8 phrases, 4 sujets

Intelligence artificielle	2
Logique	4
Mathématiques	1
Programmation	1