Artificial intelligence techniques in prolog
This is book contens: On prolog, search, backward-chaining methods, other rule-based methods, truth maintenance systems, contraint satisfaction...
Kaydedildi:
Yazar: | |
---|---|
Materyal Türü: | Kitap |
Dil: | Undetermined |
Baskı/Yayın Bilgisi: |
San Francisco, California
Morgan Kaufmann
1994
|
Konular: | |
Etiketler: |
Etiketle
Etiket eklenmemiş, İlk siz ekleyin!
|
Thư viện lưu trữ: | Trung tâm Học liệu Trường Đại học Cần Thơ |
---|