
Logic for proplem solving / Robert Kowalski
Tác giả : Robert Kowalski
Nhà xuất bản : North-Holland
Năm xuất bản : 19-?]
Nơi xuất bản : [S.l.
Mô tả vật lý : 287tr. : hình vẽ, sơ đồ ; 23cm
ISBN : 0444003681
Tùng thư :
Computer Science Libr. : Artificial Intelligence Ser
Chủ đề : 1. Lôgic, ký hiệu và toán học. 2. Thuyết máy tự động.
Thông tin dữ liệu nguồn
Thư viện | Ký hiệu xếp giá | Dữ liệu nguồn |
---|---|---|
![]() |
LV 3041/96 |
https://phucvu.thuvientphcm.gov.vn/Item/ItemDetail/43393?siteid=2 |