Uwe Schoening
9 books • 6 series
Mathematik fur Anwendungen
Book #3: The Satisfiability Problem
Modern Birkhauser Classics
Nordrhein Westfalische Akademie Der Wissenschafte - Ingenieur- Und Wirtschaftswissenschaften
Progress in Computer Science and Applied Logic
Book #8: Logic for Computer Scientists