Aussagenlogik: Deduktion und AlgorithmenHans Kleine Büning
Aussagenlogik: Deduktion und Algorithmen
Hans Kleine Büning, Theodor Lettmann · 1994
Where to buy
Check today’s price on Amazon. We do not show prices because they change daily.
View on AmazonAffiliate link. As an Amazon Associate we earn from qualifying purchases.
Book details
- Year
- 1994
- Language
- German
- Series
- Leitfäden und Monographien der Informatik
- Publisher
- Vieweg+Teubner Verlag
- Editions
- 1
- ISBN
- 9783322848093
Data source: Wikidata
More by Hans Kleine Büning
PrologHans Kleine Büning
Prolog
Hans Kleine Büning · 2012
Theory and Applications of Satisfiability Testing - SAT 2008Hans Kleine Büning
Theory and Applications of Satisfiability Testing - SAT 2008
Hans Kleine Büning · 2008
PrologHans Kleine Büning
Prolog
Hans Kleine Büning · 1988
PrologHans Kleine Büning
Prolog
Hans Kleine Büning · 1986