01082nam a2200385 4500 DLU110121755 ##20110524 ##880906m19889999fr a b 001 0 fre 88182202 2040186581 (v. 1) (DLC) 88182202 DLC DLC DLC 006.3 App Approche logique de lʾintelligence artificielle. t.III / par André Thayse ... [et al.]. [Paris] : Dunod, c1988- v. <1 > : ill. ; 21x30 cm. Dunod informatique Includes index. Bibliography: v. 1, p. 372-380. 1. De la logique classique à la programmation logique. Artificial intelligence. Logic programming. Thayse, André, 1940- 01/2011TN t.III GT 0 KTN True Đào Thị Thu Huyền G A SH Thư viện Trường Đại học Đà Lạt