Nonlinear approaches to satisfiability problems : proefschrift /

Gardado en:
Detalles Bibliográficos
OCLC:43439660
Autor Principal: Warners, Johannes Pieter
Autor Corporativo: Technische Universiteit Eindhoven
Idioma:English
Publicado: [Eindhoven : Technische Universiteit Eindhoven, 1999]
Subjects:
Formato:

Thesis Monograph

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

Descripción
descrición da copia:Contains summaries in English and Dutch.
Vita.
Descrición Física:158 p. : ill. ; 24 cm.
Bibliografía:Includes bibliographical references (p. 145-154)
ISBN:9090129367