Decision procedures an algorithmic point of view

Decision procedures an algorithmic point of view

Bibliographic Details
Main Authors: Kroening, Daniel (Author), Strichman, Ofer (Author)
Format: Book
Language:English
Published: Berlin Springer c2008
Subjects:
Algorithms
Decision making > Mathematical models
Propositional calculus
Description
Physical Description:xvi, 304 p. ill. 24 cm
ISBN:9783540741046

Similar Items