Nonlinear approaches to satisfiability problems : proefschrift /

Sparad:
Bibliografiska uppgifter
OCLC:43439660
Huvudupphovsman: Warners, Johannes Pieter
Institutionell upphovsman: Technische Universiteit Eindhoven
Språk:English
Publicerad: [Eindhoven : Technische Universiteit Eindhoven, 1999]
Ämnen:
Propositional calculus.
Decision making.
Computer algorithms.
Computer science.
Logic, Symbolic and mathematical.
Artificial intelligence.
Materialtyp:

Lärdomsprov Monograph

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

Borrow this resource

Item List

Beskrivning Local Call Number Status
diss 1999 P-00059033 Tillgänglig

Liknande verk