 |
| |||
| first order logic; first-order predicate calculus; first-order predicate logic; predicate calculus; predicate logic | |||
|
logique des predicats : 2 צירופים, 1 נושאים |
| טכנולוגית מידע | 2 |
|
| |||
| first order logic; first-order predicate calculus; first-order predicate logic; predicate calculus; predicate logic | |||
|
logique des predicats : 2 צירופים, 1 נושאים |
| טכנולוגית מידע | 2 |