CSDL sách
- FGCS ’92 : Fifth generation computer systems 1992 - volume 2
- Nhà xuất bản: Institute for New Generation Computer Technology (ICOT) - United States
- Năm xuất bản: 2013
- Số trang:1218 p.
- Kích thước:27 cm
- Số đăng ký cá biệt:32044
- ISBN:4274077241
- Mã Dewey:006.3
- Đơn giá:0
- Vị trí lưu trữ:Tồn kho (03 Quang Trung)
- Ngôn ngữ:English
- Loại tài liệu:Sách Tham Khảo
- Đang rỗi/ Tổng sách:1/1
- Từ khóa:Artificial intelligence, Electronic digital computers, Congresses, Computer architecture, Fifth generation computers
- Chủ đề: Electronic digital computers--Congresses & Computer architecture--Congresses & Fifth generation computers--Congresses
- Chuyên ngành: Khoa Công Nghệ Thông Tin
- Tóm tắt: 1. Reasoning about programs; 2. Analogy; 3. Abduction (1); 4. Abduction (2); 5. Semantics of logic programs; 6. Invited paper; 7. Machine learning; 8. Theorem proving; 9. Functional programming and constructive logic; 10. Temporal reasoning; 11. Hardware architecrure and evaluation; 12. Invited paper; ...
Sách cùng chuyên ngành
Sách cùng chủ đề