006.3
Kroening, Daniel.
Decision Procedures : An Algorithmic Point of View / [electronic resource] : / by Daniel Kroening, Ofer Strichman. .- XVI, 306 p.. online resource. ** Texts in Theoretical Computer Science, An Eatcs Series, 1862-4499 )
Q334-342 TJ210.2-211.495 - Texts in Theoretical Computer Science, An Eatcs Series, .
ISBN: 9783540741053
10.1007/978-3-540-74105-3 doi
Subject Headings:
Computer science.;
Software engineering.;
Computers.;
Computer logic.;
Mathematical logic.;
Artificial intelligence.;
Computer Science.;
Artificial Intelligence (incl. Robotics).;
Mathematical Logic and Formal Languages.;
Logics and Meanings of Programs.;
Theory of Computation.;
Software Engineering.;
Author Added Entry:
Strichman, Ofer.;
Copy Details:
Acc. No.: EBK3141, Full Call No.: , Item type: E books , Location: ,
------------------------- --------------------- ------ --------- ------- ------- --------- --------
Kroening, Daniel.
Decision Procedures : An Algorithmic Point of View / [electronic resource] : / by Daniel Kroening, Ofer Strichman. .- XVI, 306 p.. online resource. ** Texts in Theoretical Computer Science, An Eatcs Series, 1862-4499 )
Q334-342 TJ210.2-211.495 - Texts in Theoretical Computer Science, An Eatcs Series, .
ISBN: 9783540741053
10.1007/978-3-540-74105-3 doi
Subject Headings:
Computer science.;
Software engineering.;
Computers.;
Computer logic.;
Mathematical logic.;
Artificial intelligence.;
Computer Science.;
Artificial Intelligence (incl. Robotics).;
Mathematical Logic and Formal Languages.;
Logics and Meanings of Programs.;
Theory of Computation.;
Software Engineering.;
Author Added Entry:
Strichman, Ofer.;
Copy Details:
Acc. No.: EBK3141, Full Call No.: , Item type: E books , Location: ,
------------------------- --------------------- ------ --------- ------- ------- --------- --------