 |
| |||
| Prädikatenlogik f | |||
| Praedikatenlogik f | |||
| Attributenkalkül n | |||
| Prädikatenkalkül m; Funktionenkalkül m; Quantorenlogik f | |||
| Prädikatenlogik 1.Ordnung | |||
| Англійський тезаурус | |||
| |||
| quantificational logic (ssn) | |||
|
predicate logic : 7 фраз в 2 тематиках |
| Інформаційні технології | 4 |
| Штучний інтелект | 3 |