Inicio Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, Tableaux'97, Pont-A-Mousson, France, May 13-16, 1997 Proceed de Didier Galmiche (Editor) (ISBN: 9783540629207)

Foto de archivo: la portada puede ser diferente

Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, Tableaux'97, Pont-A-Mousson, France, May 13-16, 1997 Proceed Tapa blanda - 1997 - 1997th Edición

Name: Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997…
Price: 53.13 GBP
Availability: InStock
Author: Didier Galmiche
ISBN: 9783540629207

de Didier Galmiche (Editor)

Ver más ejemplares ↓

Información de la editorial

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.

Detalles

Título Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, Tableaux'97, Pont-A-Mousson, France, May 13-16, 1997 Proceed
Autor Didier Galmiche (Editor)
Encuadernación Tapa blanda
Número de edición 1997th
Edición 1997
Páginas 380
Volúmenes 1
Idioma ENG
Editorial Springer
Fecha de publicación 1997-04-29
ISBN 9783540629207 / 3540629203
Peso 1.21 libras (0.55 kg)
Dimensiones 9.21 x 6.14 x 0.81 pulgadas (23.39 x 15.60 x 2.06 cm)
Número de catálogo de la Librería del Congreso de EEUU 97011975
Dewey Decimal Code 006.333

Ir arriba↑

Más ejemplares

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

de Didier Galmiche

Nuevo

Estado

New

ISBN 10 / ISBN 13

9783540629207 / 3540629203

Cantidad disponible

206

Librería

Ria Christie Collections

Uxbridge, Greater London, United Kingdom

Puntuación del vendedor:

Este vendedor ha conseguido 5 de las cinco estrellas otorgadas por los compradores de Biblio.

Precio

EUR 62.82

EUR 9.45 enviando a USA

Mostrar detalles

Descripción:

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.

Precio

EUR 62.82

EUR 9.45 enviando a USA

Foto de archivo: la portada puede ser diferente

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

de Didier Galmiche

Nuevo
Tapa blanda

Estado

New

Encuadernación

Paperback

ISBN 10 / ISBN 13

9783540629207 / 3540629203

Cantidad disponible

Librería

The Saint Bookstore

Southport, Merseyside, United Kingdom

Puntuación del vendedor:

Este vendedor ha conseguido 5 de las cinco estrellas otorgadas por los compradores de Biblio.

Precio

EUR 70.81

EUR 11.76 enviando a USA

Mostrar detalles

Descripción:

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.