 |
| |||
| Prädikatrechnung f | |||
| Prädikatenkalkül m (ssn) | |||
| Attributenkalkül n | |||
| Funktionenkalkül m; Quantorenlogik f | |||
| Prädikatenlogik 1.Ordnung; Prädikatenlogik f | |||
|
predicate calculus : 17 фраз в 2 тематиках |
| Інформаційні технології | 5 |
| Штучний інтелект | 12 |
|
| |||
| Prädikatrechnung f | |||
| Prädikatenkalkül m (ssn) | |||
| Attributenkalkül n | |||
| Funktionenkalkül m; Quantorenlogik f | |||
| Prädikatenlogik 1.Ordnung; Prädikatenlogik f | |||
|
predicate calculus : 17 фраз в 2 тематиках |
| Інформаційні технології | 5 |
| Штучний інтелект | 12 |