| |||
| first order logic; first-order predicate calculus; first-order predicate logic; predicate calculus; predicate logic | |||
|
logique des predicats : 2 phrases in 1 subject |
| Information technology | 2 |
| |||
| first order logic; first-order predicate calculus; first-order predicate logic; predicate calculus; predicate logic | |||
|
logique des predicats : 2 phrases in 1 subject |
| Information technology | 2 |