Decision Procedures
Subtitle: An Algorithmic Point of View
Publisher: Springer Berlin / Heidelberg
Published: 2017
Language: eng
ISBN-13: 9783662504963
Subjects: Decision making, mathematical models; Algorithms; Logic, symbolic and mathematical