Catalog

Record Details

Catalog Search


Decision Procedures An Algorithmic Point of View Cover Image E-book E-book

Decision Procedures [electronic resource] : An Algorithmic Point of View / by Daniel Kroening, Ofer Strichman.

Kroening, Daniel. (author.). Strichman, Ofer. (author.). SpringerLink (Online service) (Added Author).

Electronic resources

Texto completo

► Awards, Reviews, & Suggested Reads
► Shelf Browser
▼ MARC Record
LDR 01815nam a22004815i 4500
00135646
003CONS
00520131217122541.0
007cr nn 008mamaa
008100301s2008 gw | s |||| 0|eng d
020 . ‡a9783540741053 ‡9978-3-540-74105-3
0247 . ‡a10.1007/978-3-540-74105-3 ‡2doi
035 . ‡a(DE-He213)978-3-540-74105-3
050 4. ‡aQA8.9-QA10.3
072 7. ‡aUYA ‡2bicssc
072 7. ‡aMAT018000 ‡2bisacsh
072 7. ‡aCOM051010 ‡2bisacsh
1001 . ‡aKroening, Daniel. ‡eauthor.
24510. ‡aDecision Procedures ‡h[electronic resource] : ‡bAn Algorithmic Point of View / ‡cby Daniel Kroening, Ofer Strichman.
264 1. ‡aBerlin, Heidelberg : ‡bSpringer Berlin Heidelberg, ‡c2008.
300 . ‡bonline resource.
336 . ‡atext ‡btxt ‡2rdacontent
337 . ‡acomputer ‡bc ‡2rdamedia
338 . ‡aonline resource ‡bcr ‡2rdacarrier
347 . ‡atext file ‡bPDF ‡2rda
4901 . ‡aTexts in Theoretical Computer Science, An Eatcs Series, ‡x1862-4499
650 0. ‡aComputer science.
650 0. ‡aSoftware engineering.
650 0. ‡aInformation theory.
650 0. ‡aLogic design.
650 0. ‡aArtificial intelligence.
65014. ‡aComputer Science.
65024. ‡aMathematical Logic and Formal Languages.
65024. ‡aLogics and Meanings of Programs.
65024. ‡aTheory of Computation.
65024. ‡aSoftware Engineering.
65024. ‡aArtificial Intelligence (incl. Robotics).
7001 . ‡aStrichman, Ofer. ‡eauthor.
7102 . ‡aSpringerLink (Online service)
7730 . ‡tSpringer eBooks
77608. ‡iPrinted edition: ‡z9783540741046
830 0. ‡aTexts in Theoretical Computer Science, An Eatcs Series, ‡x1862-4499
85640. ‡uhttp://biblioteca.ipicyt.edu.mx:2048/login?url=http://dx.doi.org/10.1007/978-3-540-74105-3 ‡yTexto completo ‡9CONS
950 . ‡aComputer Science (Springer-11645)
901 . ‡a35646 ‡b ‡c35646 ‡tbiblio ‡sSystem Local

Additional Resources