Limit search to available items
Add Marked to Bag Add All On Page Add Marked to My Lists
Authors (Last name first) (1-2 of 2)
Manolios, Panagiotis.
1
Book
2000

Computer-aided reasoning : ACL2 case studies



Boston ; London : Kluwer Academic, [2000]

Rating:

Request It 
 
Location Call no. Vol. Availability
 W'PONDS  006.33 Kau/Car  AVAILABLE
2
Book
2000

Computer-aided reasoning : an approach


Kaufmann, Matt.
Boston : Kluwer Academic Publishers, [2000]

Rating:

Request It 
 
Location Call no. Vol. Availability
 W'PONDS  004.0151 Kau/Car  AVAILABLE
Add Marked to Bag Add All On Page
Locate in results