Magnificent Marvel Supersale
 
 

Special Offers see all

Enter to WIN a $100 Credit

Subscribe to PowellsBooks.news
for a chance to win.
Privacy Policy

Visit our stores


    Recently Viewed clear list


    Original Essays | March 10, 2015

    J. C. Hallman: IMG One in the Oven; or, Why You Should Suck It Up and Meet Your Favorite Author



    At first, I was dead set against it. I would not try to meet Nicholson Baker while I was writing a book about Nicholson Baker. I had a good reason... Continue »

    spacer
Qualifying orders ship free.
$108.50
New Trade Paper
Ships in 1 to 3 days
Add to Wishlist
available for shipping or prepaid pickup only
Available for In-store Pickup
in 7 to 12 days
Qty Store Section
25 Remote Warehouse Mathematics- Logic and Philosophy

First-Order Logic and Automated Theorem Proving

by

First-Order Logic and Automated Theorem Proving Cover

 

Product Details

ISBN:
9781461275152
Author:
Fitting, Melvin
Publisher:
Springer
Subject:
Mathematics-Logic and Philosophy
Publication Date:
20130631
Binding:
TRADE PAPER
Language:
English

Related Subjects

Computers and Internet » Artificial Intelligence » Fuzzy Logic
Computers and Internet » Artificial Intelligence » General
Computers and Internet » Computers Reference » General
Computers and Internet » Software Engineering » Programming and Languages
Science and Mathematics » Mathematics » Foundations and Logic
Science and Mathematics » Mathematics » Logic and Philosophy
Science and Mathematics » Mathematics » Probability and Statistics » General
Science and Mathematics » Mathematics » Probability and Statistics » Statistics

First-Order Logic and Automated Theorem Proving New Trade Paper
0 stars - 0 reviews
$108.50 In Stock
Product details pages Springer - English 9781461275152 Reviews:
spacer
spacer
  • back to top

FOLLOW US ON...

     
Powell's City of Books is an independent bookstore in Portland, Oregon, that fills a whole city block with more than a million new, used, and out of print books. Shop those shelves — plus literally millions more books, DVDs, and gifts — here at Powells.com.