Nonlinear approaches to satisfiability problems : proefschrift /

में बचाया:
ग्रंथसूची विवरण
OCLC:43439660
मुख्य लेखक: Warners, Johannes Pieter
निगमित लेखक: Technische Universiteit Eindhoven
भाषा:English
प्रकाशित: [Eindhoven : Technische Universiteit Eindhoven, 1999]
विषय:
Propositional calculus.
Decision making.
Computer algorithms.
Computer science.
Logic, Symbolic and mathematical.
Artificial intelligence.
स्वरूप:

थीसिस Monograph

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

विवरण
वस्तु वर्णन:Contains summaries in English and Dutch.
Vita.
भौतिक वर्णन:158 p. : ill. ; 24 cm.
ग्रन्थसूची:Includes bibliographical references (p. 145-154)
आईएसबीएन:9090129367

समान संसाधन