A Computational Logic Handbook (Perspectives in Computing)

• Authors: Boyer - Robert S. Boyer - J. Strother Moore - Robert S.; Moore - J. Strother
• ISBN 10: 0121229521
• ISBN 13: 9780121229528
• Format: Hardcover (408 pages)
• List Price: $71.00
• More Details
  
  

  List Price: $71.00

  Tags: Computers & Internet, Computer Science, Artificial Intelligence,

  Book Description:
  Contains a precise and complete description of the computational logic develo by the authors; will serve also as a reference guide to the associated mechanical theorem proving system. Annotation copyright Book News, Inc. Portland, Or.

Filter By Condition

  Used
  New
  Rental
  eBooks
  International
  Local Options

Search By Location

Rental Term

Summer Quarter Semester

Show Prices

Lower to higher Higher to Lower

  Apply Coupons
  Apply Sales Tax (estimate)

Add To My Bookbag Tweet Alert Sell Donate Contact Us

• Home
• Buy Textbooks
• Rent Textbooks
• Sell Textbooks
• New & Used Rental Buyback

Bookbag () | College Textbooks

• • Buy Cheap Textbooks
  • Sell Used Textbooks
  • Browse Textbooks
  • Textbook Information
  • Donate Your Books
• • My Bookbag
  • My Account
  • Price Alerts
  • Track Order
  • Help
• • SmartPhone Apps
  • Bookmark Us
  • Tell A Friend
  • Campus Bookstore Directory
• • Textbook Blog
  • Mobile & Local
  • Press
  • Affiliates
  • Feedback

Content Copyright © 1999-2013 Terms and Conditions of Use, Security and Privacy Policy | Resources: 1 2 3 | Site Map