loading

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
Thư viện Khoa học Tổng hợp TP.HCM LV 3041/96
https://phucvu.thuvientphcm.gov.vn/Item/ItemDetail/43393?siteid=2