Nonlinear approaches to satisfiability problems : proefschrift /

Đã lưu trong:
Chi tiết về thư mục
OCLC:43439660
Tác giả chính: Warners, Johannes Pieter
Tác giả của công ty: Technische Universiteit Eindhoven
Ngôn ngữ:English
Được phát hành: [Eindhoven : Technische Universiteit Eindhoven, 1999]
Những chủ đề:
Propositional calculus.
Decision making.
Computer algorithms.
Computer science.
Logic, Symbolic and mathematical.
Artificial intelligence.
Định dạng:

Luận văn Monograph

Note that CRL will digitize material from the collection when copyright allows.

Borrow this resource

Item List

Miêu tả Local Call Number Trạng thái
diss 1999 P-00059033 Sẵn có

Những quyển sách tương tự