Nonlinear approaches to satisfiability problems : proefschrift /

Kaydedildi:
Detaylı Bibliyografya
OCLC:43439660
Yazar: Warners, Johannes Pieter
Müşterek Yazar: Technische Universiteit Eindhoven
Dil:English
Baskı/Yayın Bilgisi: [Eindhoven : Technische Universiteit Eindhoven, 1999]
Konular:
Propositional calculus.
Decision making.
Computer algorithms.
Computer science.
Logic, Symbolic and mathematical.
Artificial intelligence.
Materyal Türü:

Tez Monograph

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

Borrow this resource

Item List

Diğer Bilgiler Local Call Number Durum
diss 1999 P-00059033 Kütüphanede

Benzer Materyaller