Prädikatenkalkül | |
AI. | calculus of predicates; functional calculus; predicate logic; quantifier logic |
zweite Ordnung | |
opt. | second order |
zweiter Ordnung | |
opt. | second-order |
| |||
calculus of predicates; functional calculus; predicate logic; quantifier logic | |||
predicate calculus (ssn); predicative calculus (ssn) |
Prädikatenkalkül: 9 phrases in 2 subjects |
Artificial intelligence | 7 |
Computers | 2 |