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.
פורמט:

Thesis Monograph

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

Borrow this resource

Item List

תיאור Local Call Number סטטוס
diss 1999 P-00059033 זמין

פריטים דומים