Nonlinear approaches to satisfiability problems : proefschrift /

Wedi'i Gadw mewn:
Manylion Llyfryddiaeth
OCLC:43439660
Prif Awdur: Warners, Johannes Pieter
Awdur Corfforaethol: Technische Universiteit Eindhoven
Iaith:English
Cyhoeddwyd: [Eindhoven : Technische Universiteit Eindhoven, 1999]
Pynciau:
Propositional calculus.
Decision making.
Computer algorithms.
Computer science.
Logic, Symbolic and mathematical.
Artificial intelligence.
Fformat:

Traethawd Ymchwil Monograph

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

Borrow this resource

Item List

Disgrifiad Local Call Number Statws
diss 1999 P-00059033 Ar gael

Eitemau Tebyg