Logique et demonstration automatique : Introduction a la logique propositionnelle et a la logique du premier ordre |
|---|
DEVISMES Stephane
|
- Année :
- 2012
- Cote:
- 21-12-20
- Theme:
- 21
Logique et demonstration automatique : Introduction a la logique propositionnelle et a la logique du premier ordre |
|---|
DEVISMES Stephane
|