DictionnaireLe forumContacts

   Anglais +
Google | Forvo | +

first-order predicate calculus

informat. Prädikatenlogik 1.Ordnung; Prädikatenlogik f
intell. Prädikatenkalkül erster Ordnung (Stufe); Prädikatenlogik erster Ordnung (Stufe); Quantorenlogik erster Ordnung (Stufe)