Ảnh bìa

Summary goes here

Đã lưu trong:
Chi tiết về thư mục
Định dạng: Sách
Ngôn ngữ:Tiếng Anh
Những chủ đề:
Logic programming.
Automatic theorem proving.
Conference papers and proceedings.
Các nhãn: Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!

GTLSC

Chi tiết quỹ từ GTLSC
Số hiệu: QA76.63 .L73 1999
Sao chép 0 AVAILABLE
Ghi chú:
  • json {"id":"23147585770002947","status":{"code":"AVAILABLE"},"location":{"code":"GTLSC","name":"GTLSC"},"barcode":"50671011601926","callNumber":"QA76.63 .L73 1999","sourceHostLmsCode":"GEORGIA_INSTITUTE_OF_TECH_ALMA","owningContext":"GEORGIA_INSTITUTE_OF_TECH_ALMA","isRequestable":true,"isSuppressed":false,"holdCount":0,"availabilityDate":"2026-08-14T10:02:14.261762696Z","localItemType":"BOOK","canonicalItemType":"CIRC","localItemTypeCode":"BOOK","statusCorrectAsOf":"2026-08-14T10:02:15.723214422Z"}