Nonlinear approaches to satisfiability problems : proefschrift /

Tallennettuna:
Bibliografiset tiedot
OCLC:43439660
Päätekijä: Warners, Johannes Pieter
Yhteisötekijä: Technische Universiteit Eindhoven
Kieli:English
Julkaistu: [Eindhoven : Technische Universiteit Eindhoven, 1999]
Aiheet:
Propositional calculus.
Decision making.
Computer algorithms.
Computer science.
Logic, Symbolic and mathematical.
Artificial intelligence.
Aineistotyyppi:

Opinnäyte Monograph

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

Kuvaus
Huomautukset:Contains summaries in English and Dutch.
Vita.
Ulkoasu:158 p. : ill. ; 24 cm.
Bibliografia:Includes bibliographical references (p. 145-154)
ISBN:9090129367

Samankaltaisia teoksia