Satisfiability problem :

Satisfiability problem : theory and applications : DIMACS workshop, March 11-13, 1996

Αποθηκεύτηκε σε:
Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science
Άλλοι συγγραφείς: Du, Dingzhu (Επιμελητής έκδοσης), Gu, Jun 1956- (Επιμελητής έκδοσης), Παρδαλός, Πάνος Μ. (Επιμελητής έκδοσης)
Μορφή: Βιβλίο
Γλώσσα:English
Δημοσίευση: Providence, R.I. : American Mathematical Society, c1997
Σειρά:DIMACS series in discrete mathematics and theoretical computer science ; ; 35
Θέματα:
Propositional calculus > Congresses.
Decision making > Congresses.
Computer algorithms > Congresses.
Computer science > Congresses.
Ετικέτες: Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
Περιγραφή
Περιγραφή τεκμηρίου:"NSF science and Technology Center Discrete Mathematics and Theoretical Computer Science. A consortium of Rutgers University, Princeton University, AT&T Labs, Bell Labs, and Bellcore"
Φυσική περιγραφή:xv, 724 σ. : εικ. ; 27 εκ.
Βιβλιογραφία:Includes bibliographical references
ISBN:0-8218-0479-0

Παρόμοια τεκμήρια