Introduction to Propositional Satisfiability
Seiten
2014
College Publications (Verlag)
978-1-84890-139-1 (ISBN)
College Publications (Verlag)
978-1-84890-139-1 (ISBN)
Erscheint lt. Verlag | 24.2.2014 |
---|---|
Reihe/Serie | Studies in Logic |
Sprache | englisch |
Maße | 156 x 234 mm |
Gewicht | 526 g |
Themenwelt | Geisteswissenschaften ► Philosophie ► Logik |
Informatik ► Theorie / Studium ► Algorithmen | |
Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre | |
ISBN-10 | 1-84890-139-9 / 1848901399 |
ISBN-13 | 978-1-84890-139-1 / 9781848901391 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
IT zum Anfassen für alle von 9 bis 99 – vom Navi bis Social Media
Buch | Softcover (2021)
Springer (Verlag)
CHF 41,95
Interlingua zur Gewährleistung semantischer Interoperabilität in der …
Buch | Softcover (2023)
Springer Fachmedien (Verlag)
CHF 46,15
Eine Einführung mit Java
Buch | Hardcover (2020)
dpunkt (Verlag)
CHF 62,85