Nonlinear approaches to satisfiability problems : proefschrift /

Guardado en:
Detalles Bibliográficos
OCLC:43439660
Autor principal: Warners, Johannes Pieter
Autor Corporativo: Technische Universiteit Eindhoven
Lenguaje:English
Publicado: [Eindhoven : Technische Universiteit Eindhoven, 1999]
Materias:
Propositional calculus.
Decision making.
Computer algorithms.
Computer science.
Logic, Symbolic and mathematical.
Artificial intelligence.
Formato:

Tesis Monograph

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

Borrow this resource

Item List

Descripción Local Call Number Estado
diss 1999 P-00059033 Disponible

Ejemplares similares