 |
| |||
| Prädikatenlogik f | |||
| Prädikatenkalkül m; Funktionenkalkül m; Quantorenlogik f | |||
| Prädikatenlogik 1.Ordnung | |||
| Attributenkalkül n | |||
| English thesaurus | |||
| |||
| quantificational logic (ssn) | |||
| predicate logic: 7 phrases in 2 subjects |
| Artificial intelligence | 3 |
| Information technology | 4 |