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

مواد مشابهة