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:
Huvudupphovsman: | |
---|---|
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ơ |
---|