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
- Learning Perl: making easy things easy and hard things possible : 8th ed.
- Computer networking bible 3 in 1 : the complete crash course to effectively design, implement and manage networks. Including sections on security, performance and scalability
- Digital forensics and incident response : incident response tools and techniques for effective cyber threat response : 3rd ed.
- Computer networking : a top-down approach : 8th ed.
- Security engineering : a guide to building dependable distributed systems : 3rd ed.
Sách cùng chủ đề