CSDL SÁCH
Electronic digital computers--Congresses
Duyệt theo:
FGCS ’92 : Fifth generation computer systems 1992 - volume 2
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 ...
- Vị trí lưu trữ: Tồn kho (03 Quang Trung)
- Tổng sách: 1
- Đang rỗi: 1