Home Book reviews
Used Book Memo Saved Search New Book Memo
Contact
☰

Panagiotis Manolios
1. Computer-Aided Reasoning: An Approach
Author: Panagiotis Manolios - Author: J. Strother Moore - Author: Matt Kaufmann
ISBN: 0792377443
ISBN13: 9780792377443
Binding: Hardcover
List Price: $215.0
Publisher: Kluwer Academic Pub
Published Date: 06/01/2000
2. Computer-Aided Reasoning: Acl2 Case Studies
Editor: Panagiotis Manolios - Editor: J. Strother Moore - Editor: Matt Kaufmann
ISBN: 0792378490
ISBN13: 9780792378495
Binding: Hardcover
List Price: $255.0
Publisher: Kluwer Academic Pub
Published Date: 06/01/2000
3. Computer-Aided Reasoning
Author: Panagiotis Manolios - Author: J. Strother Moore - Author: Matt Kaufmann
ISBN: 0792378806
ISBN13: 9780792378808
Binding: Hardcover
List Price: $208.0
Publisher: Kluwer Academic Pub
Published Date: 06/01/2000
[Privacy policy]
Copyright © 1998-, Addall.com Pte Ltd. All rights reserved.