Nonlinear approaches to satisfiability problems : proefschrift /

Sábháilte in:
Sonraí bibleagrafaíochta
OCLC:43439660
Príomhchruthaitheoir: Warners, Johannes Pieter
Údar corparáideach: Technische Universiteit Eindhoven
Teanga:English
Foilsithe / Cruthaithe: [Eindhoven : Technische Universiteit Eindhoven, 1999]
Ábhair:
Propositional calculus.
Decision making.
Computer algorithms.
Computer science.
Logic, Symbolic and mathematical.
Artificial intelligence.
Formáid:

Tráchtas Monograph

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

Borrow this resource

Item List

Cur síos Local Call Number Stádas
diss 1999 P-00059033 Ar fáil

Míreanna comhchosúla