Rent Textbooks | Buy Textbooks | Sell Textbooks | eCampus.com

Showing 1 - 6 of 6

Sort by

Did you mean "kaufmann martin"?

Computer-Aided Reasoning: An Approach

by Kaufmann, Matt; Manolios, Panagiotis; Moore, J Strother

ISBN13: 9780792377443

ISBN10: 0792377443

Format: Hardcover
List Price: ~~$329.00~~ Save up to $329.00
- Digital
  
  See Prices
Computer-Aided Reasoning

by Kaufmann, Matt; Manolios, Panagiotis; Moore, J Strother

ISBN13: 9780792378495

ISBN10: 0792378490

Format: Hardcover
List Price: ~~$349.99~~ Save up to $349.99
- Digital
  
  See Prices
- Marketplace
  
  See Prices
Interactive Theorem Proving: First International Conference, Itp 2010, Edinburgh, Uk, July 11-14, 2010, Proceedings

by Kaufmann, Matt; Paulson, Lawrence C.

ISBN13: 9783642140518

ISBN10: 3642140513

Format: Paperback
List Price: ~~$149.00~~ Save up to $149.00
- Marketplace
  
  See Prices
Computer-Aided Reasoning : ACL2 Case Studies

by Kaufmann, Matt; Manolios, Panagiotis; Moore, J. Strother

ISBN13: 9781441949813

ISBN10: 144194981X

Format: Paperback
List Price: ~~$379.00~~ Save up to $379.00
- Digital
  
  See Prices
- Marketplace
  
  See Prices
Computer-aided Reasoning: An Approach

by Kaufmann, Matt; Manolios, Panagiotis; Moore, J Strother

ISBN13: 9781461370031

ISBN10: 1461370035

Edition: Reprint

Format: Paperback
List Price: ~~$329.00~~ Save up to $329.00
- Digital
  
  See Prices
Computer-Aided Reasoning

by Matt Kaufmann; Panagiotis Manolios; J Strother Moore

ISBN13: 9781461544494

ISBN10: 1461544491

Format: Nonspecific Binding
List Price: ~~$425.23~~

We're Sorry.
No Options Available at This Time.