Record number
2470
Title
Handbook of satisfiability
Publication
Amsterdam IOS press
Published Year
2009
Fierst Pages
xiii
Main Pages
963
Collation
xiii، 963
Series
Frontiers in artificial intelligence and applications; 185
Reprint
False
Added entries
AU ویراستار Walsh Toby , AU ویراستار Biere Armin , AU ویراستار Heule Marijn , AU ویراستار Maaren Hans Van
Editor
Walsh Toby
Subject
Computer algorithms , Computer algorithms- Handbooks, manuals, etc , Computational comlexity- Handbooks, manuals, etc , Propositional calculus- Handbooks, manuals, etc
Class
511
Number
3
CutterNumber
H3
ISBN
978-1-58603-929-5
Language
انگليسي
Link To Document