| Books 1 - 5 of 5 | Previous | Next | 
|  | | Theory and Applications of Satisfiability Testing SAT 2008: th International Conference, SAT 2008, Guangzhou, China, May 2-5, 2008, Proceedings (Lecture Notes in Computer Science) (1st Edition)
by Hans Kleine Büning (Editor), Xishun Zhao (Editor)
Hardcover, 305 Pages, Published 2008 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Computer Science Logic: 9th International Workshop, CSl '95, Annual Conference of the EACSL Paderborn, Germany, September 22-29, 995. Selected Papers (Lecture Notes in Computer Science) (1st Edition)
by Hans Kleine Buening (Editor)
Paperback, 487 Pages, Published 1996 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Propositional Logic: Deduction and Algorithms (Cambridge Tracts in Theoretical Computer Science)
by Hans Kleine Büning, Theodor Lettmann
Hardcover, 420 Pages, Published 1999 by Cambridge University Press
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Modellierung
by Hans Kleine Buening
Paperback, Published 2005 by Hanser Fachbuchverlag
Compare Prices | Add to Wish List | Set Price Alert |
| | Books 1 - 5 of 5 | Previous | Next |
|