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
- Bứt phá thời số hóa : bảy khối kiến tạo chuyển đổi số thành công
- Quản lý thông tin trên mạng xã hội trong bối cảnh bùng nổ thông tin
- Knowledge and Systems Sciences : 20th International Symposium, KSS 2019, Da Nang, Vietnam, November 29 - December 1, 2019, Proceedings
- Frontiers in Intelligent Computing : theory and applications
- A course in discrete mathematical structures
Sách cùng chủ đề