Decision Procedures
Subtitle: An Algorithmic Point of View
Publisher: Springer
Published: Jul 13, 2018
Format: paperback
Number of pages: 380
ISBN-13: 9783662570654
Notes: Source title: Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)