TITLE: Informatique Théorique : Logique et démonstration automatique
PUBLISHER: Ellipses
ISBN: 9782729872298
LANGUAGE: ------
DEC-INDEX : ------
PAGES : ------
WEIGHT : ------
CODEPUB :Ellipses
SIZE :26 cm
LOCATION :FSSM
KEYWORDS:
YEAR: ----
PLACE: Paris
EXAMPS :
| LOCATION | COTE | CODEBAR | STATUS |
|---|---|---|---|
| FSSM | 621.395 DEV | FSSM18031 | GOOD-STATUS-DOC |
| FSSM | 621.395 DEV | FSSM18032 | GOOD-STATUS-DOC |
| FSSM | 621.395 DEV | FSSM18033 | GOOD-STATUS-DOC |
| FSSM | 621.395 DEV | FSSM18034 | GOOD-STATUS-DOC |