IIITB Library catalog

Normal view MARC view ISBD view

Kroening, D

Decision procedures: An algorithmic point of view. 2nd. Edition. - Berlin Springer 2016 - xxi, 356p.

ISBN: 9783662504963

Subjects--Topical Terms:
Decision Theory
Mathematics

Print
Add to your cart (remove)
Save record
More searches