Decision procedures : an algorithmic point of view /

Saved in:

Bibliographic Details
Author / Creator:	Kroening, Daniel.
Imprint:	Berlin : Springer, c2008.
Description:	1 online resource (xvi, 304 p.) : ill.
Language:	English
Series:	Texts in theoretical computer science, 1862-4499 Texts in theoretical computer science.
Subject:	Decision making -- Mathematical models. Algorithms. Logic, Symbolic and mathematical. Algorithms. Decision making -- Mathematical models. Logic, Symbolic and mathematical.
Format:	E-Resource Book
URL for this record:	http://pi.lib.uchicago.edu/1001/cat/bib/8885755

Hidden Bibliographic Details
Other authors / contributors:	Strichman, Ofer.
ISBN:	9783540741053 3540741054 9783540741046 3540741046 9786611862145 6611862145
Notes:	Includes bibliographical references (p. [285]-297) and index. Description based on print version record.
Other form:	Print version: Kroening, Daniel. Decision procedures. Berlin : Springer, c2008 3540741046 9783540741046
Standard no.:	9786611862145

Similar Items