01290nmm a22003735u 4500
0
0
lcc
0
0
DIGITAL
DIGITAL
COLDIG
2020-12-08
QA279.4 K76 2008
BDIG00009396
2020-12-08 00:00:00
1
http://dx.doi.org/10.1007/978-3-540-74105-3
1.00
2020-12-08
LIE
Springer link
1a ed.
CNE
25881
25881
20201208131431.0
100301s2008 xx j eng d
9783540741053
QA279.4
K76 2008
Kroening, Daniel.
Decision Procedures
[electronic resource] :
An Algorithmic Point of View /
by Daniel Kroening, Ofer Strichman.
Berlin, Heidelberg :
Springer-Verlag Berlin Heidelberg,
2008.
v.: digital
Texts in Theoretical Computer Science, An Eatcs Series,
1862-4499
Computer science
Software engineering
Information theory
Logic design
Artificial intelligence
Computer Science
Mathematical Logic and Formal Languages
Logics and Meanings of Programs
Theory of Computation
Software Engineering
Artificial Intelligence (incl. Robotics)
Strichman, Ofer.
SpringerLink (Online service)
Springer eBooks
http://dx.doi.org/10.1007/978-3-540-74105-3
lcc
LIE