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