1.
Computer-Aided Reasoning An Approach
by Kaufmann, Matt, Manolios, P...
ISBN: 9780792377443
List Price: $286.00
OUT OF STOCK
See Availability on Amazon2.
Computer-Aided Reasoning : ACL2 Case Studies
by Kaufmann, Matt, Manolios, P...
ISBN: 9781441949813
List Price: $329.00
4.
Computer-Aided Reasoning : An Approach
by Kaufmann, Matt, Manolios, P...
ISBN: 9781461370031
List Price: $329.00
OUT OF STOCK
See Availability on Amazon6.
Computer-Aided Reasoning Acl2 Case Studies
by Kaufmann, Matt, Manolios, P...
ISBN: 9780792378495
List Price: $329.00