CSDL Sách

Duyệt theo:
Fifth generation computers -- Congresses
.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 paper; ...

  • Vị trí lưu trữ: 7/25 Quang Trung
  • Tổng sách: 1
  • Đang rỗi: 1