Theory and Applications of Satisfiability Testing - SAT 2007

Marques-Silva, Joao / Sakallah, Karem A.

CHF 104.00

Lieferbar

In Warenkorb legen

ISBN	9783540727873
Sprache	eng
Cover	C, Mathematical Logic and Formal Languages, Algorithm Analysis and Problem Complexity, Operating systems, Numeric Computing, Artificial Intelligence, Mathematical Logic and Foundations, Formal Languages and Automata Theory, Algorithms, Numerical analysis, computer science, Mathematical logic, Operating systems (Computers), Algorithms & data structures, Mathematical theory of computation, Mathematical foundations, Kartonierter Einband (Kt)
Verlag	Springer Nature EN
Jahr	2007