Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
Share:
Also Available in:
- Amazon
- Audible
- Barnes & Noble
- AbeBooks
- Kobo
More Details
- Format:
- Pages: pages
- Publication:
- Publisher:
- Edition:2008
- Language:
- ISBN10:3540741046
- ISBN13:9783540741046
- kindle Asin:B001D0H21G
About Author
