TY  - BOOK
AU  - Ricardo, Caferra
TI  - Logique pour l'nformatique et pour l'intelligence artificielle
T2  - Informatique
SN  - 9782746226005
PY  - 2011///
CY  - Paris
PB  - Lavoisier
KW  - Logique, intelligence artificielle, inference, langages
ER  -