Skip to content

Automated Reasoning with Analytic Tableaux and Related Methods: International
Stock Photo: Cover May Be Different

Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, Tableaux'97, Pont-A-Mousson, France, May 13-16, 1997 Proceed Paperback - 1997 - 1997th Edition

by Didier Galmiche (Editor)


From the publisher

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.

Details

  • Title Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, Tableaux'97, Pont-A-Mousson, France, May 13-16, 1997 Proceed
  • Author Didier Galmiche (Editor)
  • Binding Paperback
  • Edition number 1997th
  • Edition 1997
  • Pages 380
  • Volumes 1
  • Language ENG
  • Publisher Springer
  • Date 1997-04-29
  • ISBN 9783540629207 / 3540629203
  • Weight 1.21 lbs (0.55 kg)
  • Dimensions 9.21 x 6.14 x 0.81 in (23.39 x 15.60 x 2.06 cm)
  • Library of Congress Catalog Number 97011975
  • Dewey Decimal Code 006.333
Back to Top

More Copies for Sale

Automated Reasoning with Analytic Tableaux and Related Methods : International Conference,...

Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 Proceedings

by Didier Galmiche

  • New
Condition
New
ISBN 13
9783540629207
ISBN 10
3540629203
Quantity Available
206
Seller
Uxbridge, Greater London, United Kingdom
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$68.02
$10.23 shipping to USA

Show Details

Description:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 Proceedings.
Item Price
$68.02
$10.23 shipping to USA
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference,...
Stock Photo: Cover May Be Different

Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 Proceedings

by Didier Galmiche

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 13
9783540629207
ISBN 10
3540629203
Quantity Available
10
Seller
Southport, Merseyside, United Kingdom
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$76.68
$12.74 shipping to USA

Show Details

Description:
Paperback / softback. New. 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.
Item Price
$76.68
$12.74 shipping to USA