TY  - BOOK
AU  - Gondran,Michel
AU  - Héry,Jean- François
AU  - Laleuf Jean-Claude
TI  - Logique et modélisation: modèles consistants, données compatibles
SN  - 9782212016475
PY  - 1995///
CY  - Paris
PB  - Eyrolles
KW  - BI-BuBU
KW  - Logique : Modélisation
KW  - Modélisation :Logique
KW  - Prédicat . Logique
KW  - Logique des propositions
KW  - Logique des prédicats
ER  -