TY  - BOOK
AU  - Тейз, А.
AU  - Грибомон, П.
AU  - Луи, Ж.
AU  - Пермяков, П. П.
TI  - Логический подход к искусственному интеллекту: От классич. логика к логич. программир 
SN  - 5030016368
PY  - 1990///
CY  - Москва
PB  - Мир
KW  - მათემატიკური ლოგიკა
KW  - ლოგიკური პროგრამირება
KW  - ხელოვნური ინტელექტი
ER  -