Decision Procedures
Subtitle: An Algorithmic Point of View
Publisher: Springer London, Limited
Published: 2016
Language: eng
ISBN-13: 9783662504970
Subjects: Decision making, mathematical models; Algorithms; Logic, symbolic and mathematical