CSDL SÁCH

Electronic digital computers--Congresses

Duyệt theo:
.jpg

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