Artificial intelligence techniques in prolog

This is book contens: On prolog, search, backward-chaining methods, other rule-based methods, truth maintenance systems, contraint satisfaction...

Sparad:
Bibliografiska uppgifter
Huvudupphovsman: Shoham, Yoav
Materialtyp: Bok
Språk:Undetermined
Publicerad: San Francisco, California Morgan Kaufmann 1994
Ämnen:
Taggar: Lägg till en tagg
Inga taggar, Lägg till första taggen!
Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Cần Thơ