Item #: 1122751 | Model #: 9783642152047
Computer Science Logic (Paperback)
Rollover image to zoom in
https://www.staples-3p.com/s7/is/image/Staples/m001247553_sc7?wid=512&hei=512

Computer Science Logic (Paperback)

No reviews yet
Share:
Delivered within 3-9 business days
$112.99
This item not available in stores
Qty:

Staples memberships could save you more | Learn More

Product Details
  • Author Name: Dawar, Anuj
  • No of Pages: 548 Pages
  • Publisher: Springer
Go to full description & specifications


112.99
112.99
https://www.staples-3p.com/s7/is/image/Staples/m001247553
09783642152047
Assorted Publishers
Computer Science Logic (Paperback)
Product Description
Computer Science Logic by Anuj Dawar, Helmut Veith - Sheds light on proving the interactive theorem

Computer Science Logic by Anuj Dawar, Helmut Veith is topically complied and sheds light on proving the interactive theorem, equational logic, term rewriting, finite model theory, database theory, and more.

  • Author Name: Dawar, Anuj
  • No of Pages: 548 Pages
  • Publisher: Springer
  • Publishing Date: August 11, 2010
  • Language: English
  • ISBN -10: 364215204X
  • ISBN -13: 978-3642152047
  • Edition: 2010
Specifications
Author Name Dawar, Anuj
Book Cover Paperback
Reviews