عنوان
پدید آورنده
موضوع
رده
QA 279.4 .K76D4 2016
QA
279
.
4
.
K76D4
2016
کتابخانه
محل استقرار
Decision procedures : an algorithmic point of view
Berlin
Springer-Verlag
c2016
xxi, 356 p.: ill. )some col.( + 1 computer file: PDF
Texts in theoretical computer science, an EATCS series
Also available at IPM digital library: https://libraryportal.ipm.ac.ir
Bibliography: p.]329[-346
ISBN: 9783662504963
Daniel Kroening, Ofer Strichman
1
Mathematical models ، Decision making
، Algorithms
، Logic, Symbolic and mathematical
QA
279
.
4
.
K76D4
2016
Kroening, Daniel
AU
AU Strichman, Ofer
SE EATCS monographs on theoretical computer science
