Hans Kleine Buning

TitelISBN-13
(ISBN-10)
Erscheinungsjahr
Theory and Applications of Satisfiability Testing - SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings ... Notes in Computer Science , Band 4996)978-3-54O-79718-O
(3-54O-79718-1)
2008

H B · H. Kleine Buning · Hans B. · Hans Kleine Büning · K. B.

Hans Kleiner