The Fictioning Horror Sale
 
 

Recently Viewed clear list


Original Essays | September 4, 2014

Edward E. Baptist: IMG The Two Bodies of The Half Has Never Been Told: Slavery and the Making of American Capitalism



My new book, The Half Has Never Been Told: Slavery and the Making of American Capitalism, is the story of two bodies. The first body was the new... Continue »
  1. $24.50 Sale Hardcover add to wish list

spacer
Qualifying orders ship free.
$190.25
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

Lecture Notes in Computer Science / Lecture Notes in Artific #607: Automated Deduction - Cade-11

by

Lecture Notes in Computer Science / Lecture Notes in Artific #607: Automated Deduction - Cade-11 Cover

 

Synopses & Reviews

Publisher Comments:

This volume contains the papers presented at the Eleventh International Conference on Automated Deduction (CADE-11) held in Saratoga Springs, NY, inJune 1992. A total of 136 papers were submitted for presentation by researchers from nearly 20 countries. Papers covered many topics including: resolution; term rewriting; natural deduction; theorem proving, in particular in algebra and geometry; parallel theoremprovers; unification theory; constraint solving; logic programing; verification; multivalued, temporal and nonclassical logics; non-monotonic reasoning; planning; proof theory; higher-order logics; and inductive theorem proving. Each submission was reviewed by at least three program committee members and 46 papers were selected for presentation and publication. This volume also contains short descriptions of 23 implementations of automated deduction systems. The volume opens with a keynote address by Larry Wos, winner of the first Herbrand Award for Distinguished Contributions to Automated Reasoning.

Product Details

ISBN:
9783540556022
Author:
Kapur, Deepak
Publisher:
Springer
Location:
Berlin, Heidelberg
Subject:
Logic, symbolic and mathematical
Subject:
Automatic theorem proving
Subject:
Logic
Subject:
Artificial Intelligence - General
Subject:
Intelligence (AI) & Semantics
Subject:
Artificial Intelligence
Subject:
automated deduction
Subject:
Automatisches Schlieen
Subject:
Beweisen
Subject:
Logic programming
Subject:
Logics.
Subject:
Logik.
Subject:
Logisches Programmieren
Subject:
term rewriting
Subject:
Term-Ersetzung
Subject:
Theorem Proving
Subject:
Theorembeweisen (Kybern.)
Subject:
Artificial Intelligence (incl. Robotics)
Subject:
Mathematical Logic and Formal Languages
Subject:
Mathematical Logic and Foundations
Subject:
Mathematics-Logic and Philosophy
Subject:
Computer Science
Subject:
Language, literature and biography
Copyright:
Edition Description:
Book
Series:
Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence
Series Volume:
607
Publication Date:
19920618
Binding:
TRADE PAPER
Language:
English
Pages:
816
Dimensions:
235 x 155 mm 2480 gr

Related Subjects

Computers and Internet » Artificial Intelligence » General
Computers and Internet » Computers Reference » General
Science and Mathematics » Mathematics » Foundations and Logic
Science and Mathematics » Mathematics » Logic and Philosophy

Lecture Notes in Computer Science / Lecture Notes in Artific #607: Automated Deduction - Cade-11 New Trade Paper
0 stars - 0 reviews
$190.25 In Stock
Product details 816 pages Springer - English 9783540556022 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.