 |
| |||
| first order logic; first-order predicate calculus; first-order predicate logic; predicate calculus; predicate logic | |||
|
logique des predicats : 2 phrases, 1 sujets |
| Informatique | 2 |
|
| |||
| first order logic; first-order predicate calculus; first-order predicate logic; predicate calculus; predicate logic | |||
|
logique des predicats : 2 phrases, 1 sujets |
| Informatique | 2 |