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


    Lists | March 2, 2015

    Anna Lyndsey: IMG My Top 10 Talking Books



    I have always been a reader, but eight years ago, strange circumstances conspired to make me totally book-dependent. I was stuck within four walls,... Continue »

    spacer
Qualifying orders ship free.
$118.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 Operating Systems- General

This title in other editions

Other titles in the Lecture Notes in Mathematics series:

Automated Reasoning with Analytic Tableaux & Related Methods: International Conference, TABLEAUX 97, Pont - Mousson, France, May 13-16, 1997, Proceedings, Vol. 122

by

Automated Reasoning with Analytic Tableaux & Related Methods: International Conference, TABLEAUX 97, Pont - Mousson, France, May 13-16, 1997, Proceedings, Vol. 122 Cover

 

Synopses & Reviews

Publisher Comments:

This book constitutes the refereed proceedings of the International Conference on Analytic Tableaux and Related Methods, TABLEAUX'97, held in Pont-a-Mousson, France, in May 1997. The volume presents 22 revised full papers selected from a total of 49 submissions. Also included are two invited papers and two system descriptions. The volume covers the whole spectrum of tableaux-based theorem proving and its applications including theoretical foundations, methodological issues, implementation techniques, and system development. Besides classical logics, among the logics dealt with are modal, intuitionistic, many-valued, and temporal logic.

Product Details

ISBN:
9783540629207
Author:
Galmiche, Didier
Publisher:
Springer
Location:
Berlin, Heidelberg
Subject:
Parallel Processing
Subject:
Automatic theorem proving
Subject:
Parallel processing (Electronic computers) -- Congresses.
Subject:
Parallel processing (Electronic computers)
Subject:
Expert Systems
Subject:
Artificial Intelligence - General
Subject:
Logic
Subject:
Intelligence (AI) & Semantics
Subject:
Operating Systems - General
Subject:
Artificial Intelligence
Subject:
automated reasoning
Subject:
Automatisches Schlieen
Subject:
deduction systems
Subject:
Deduktionssysteme
Subject:
formal logics
Subject:
Formale Logik
Subject:
tableaux methods
Subject:
Tableaux-Methoden
Subject:
Theorem Proving
Subject:
Theorembeweisen
Subject:
Artificial Intelligence (incl. Robotics)
Subject:
Mathematical Logic and Formal Languages
Subject:
Mathematical Logic and Foundations
Subject:
Computer Science
Subject:
Language, literature and biography
Subject:
Logic, symbolic and mathematical
Copyright:
Edition Description:
Book
Series:
Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence
Series Volume:
1227
Publication Date:
19970529
Binding:
TRADE PAPER
Language:
English
Illustrations:
Yes
Pages:
392
Dimensions:
235 x 155 mm 1210 gr

Related Subjects

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

Automated Reasoning with Analytic Tableaux & Related Methods: International Conference, TABLEAUX 97, Pont - Mousson, France, May 13-16, 1997, Proceedings, Vol. 122 New Trade Paper
0 stars - 0 reviews
$118.50 In Stock
Product details 392 pages Springer-Verlag New York, Incorporated - English 9783540629207 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.