Automated Deduction - CADE-15

Kirchner Claude Kirchner Helene

ISBN 10: 3540646752 ISBN 13: 9783540646754

Editorial: Springer, 1998

Nuevos Encuadernaci�n de tapa blanda

Librer�a: Biblios, Frankfurt am main, HESSE, Alemania Calificaci�n del vendedor: 4 de 5 estrellas

Vendedor de AbeBooks desde 10 de septiembre de 2024

Este art�culo en concreto ya no est� disponible.

Ver los art�culos de este vendedor Crear una petici�n para art�culos similares

Ver todos los ejemplares de este libro

Descripci�n

pp. 464. N� de ref. del art�culo 183078670

Denunciar este art�culo

Sinopsis:

This book constitutes the refereed proceedings of the 15th International Conference on Automated Deduction, CADE-15, held in Lindau, Germany, in July 1998.
The volume presents three invited contributions together with 25 revised full papers and 10 revised system descriptions; these were selected from a total of 120 submissions. The papers address all current issues in automated deduction and theorem proving based on resolution, superposition, model generation and elimination, or connection tableau calculus, in first-order, higher-order, intuitionistic, or modal logics, and describe applications to geometry, computer algebra, or reactive systems.

Rese�a del editor: This book constitutes the refereed proceedings of the 15th International Conference on Automated Deduction, CADE-15, held in Lindau, Germany, in July 1998.
The volume presents three invited contributions together with 25 revised full papers and 10 revised system descriptions; these were selected from a total of 120 submissions. The papers address all current issues in automated deduction and theorem proving based on resolution, superposition, model generation and elimination, or connection tableau calculus, in first-order, higher-order, intuitionistic, or modal logics, and describe applications to geometry, computer algebra, or reactive systems.

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Detalles bibliogr�ficos

T�tulo: Automated Deduction - CADE-15
Editorial: Springer
A�o de publicaci�n: 1998
Encuadernaci�n: Encuadernaci�n de tapa blanda
Condici�n: New

Los mejores resultados en AbeBooks

Imagen de archivo

Automated Deduction - CADE-15 Vol. 142 : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998. Proceedings

Publicado por Springer Berlin / Heidelberg, 1998

ISBN 10: 3540646752 ISBN 13: 9783540646754

Antiguo o usado Tapa blanda

Librería: Better World Books, Mishawaka, IN, Estados Unidos de America

Calificaci�n del vendedor: 5 de 5 estrellas

Condici�n: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. N� de ref. del art�culo: 2810765-6

Contactar al vendedor

Comprar usado

EUR 18,70

Gastos de env�o gratis
Se env�a dentro de Estados Unidos de America

Cantidad disponible: 1 disponibles

A�adir al carrito

Imagen de archivo

Automated Deduction - CADE-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings (Lecture Notes in Computer . / Lecture Notes in Artificial Intelligence 1421)

Claude Kirchner, Helene Kirchner

Publicado por Springer, 1998

ISBN 10: 3540646752 ISBN 13: 9783540646754

Antiguo o usado Tapa blanda

Librería: Zubal-Books, Since 1961, Cleveland, OH, Estados Unidos de America

Calificaci�n del vendedor: 5 de 5 estrellas

Condici�n: Good. *Price HAS BEEN REDUCED by 10% until Monday, April 20 (SALE item)* 443 pp., Paperback, ex library, else text clean and binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. N� de ref. del art�culo: ZB716384

Contactar al vendedor

Comprar usado

EUR 34,65

Env�o por EUR 3,82
Se env�a dentro de Estados Unidos de America

Cantidad disponible: 1 disponibles

A�adir al carrito

Imagen del vendedor

Automated Deduction - CADE-15

Kirchner, Claude|Kirchner, Helene

Publicado por Springer Berlin Heidelberg, 1998

ISBN 10: 3540646752 ISBN 13: 9783540646754

Nuevo Tapa blanda

Impresi�n bajo demanda

Librería: moluna, Greven, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Condici�n: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the refereed proceedings of the 15th International Conference on Automated Deduction, CADE-15, held in Lindau, Germany, in July 1998.The volume presents three invited contributions together with 25 revised full papers and 10 revise. N� de ref. del art�culo: 4896870

Contactar al vendedor

Comprar nuevo

EUR 48,37

Env�o por EUR 48,99
Se env�a de Alemania a Estados Unidos de America

Cantidad disponible: M�s de 20 disponibles

A�adir al carrito

Imagen del vendedor

M�s im�genes

Automated Deduction - CADE-15 | 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings

Claude Kirchner (u. a.)

Publicado por Springer, 1998

ISBN 10: 3540646752 ISBN 13: 9783540646754

Nuevo Taschenbuch

Impresi�n bajo demanda

Librería: preigu, Osnabr�ck, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Contactar al vendedor

Comprar nuevo

EUR 50,25

Env�o por EUR 70,00
Se env�a de Alemania a Estados Unidos de America

Cantidad disponible: 5 disponibles

A�adir al carrito

Imagen del vendedor

Automated Deduction - CADE-15

Helene Kirchner

Publicado por Springer Berlin Heidelberg Jun 1998, 1998

ISBN 10: 3540646752 ISBN 13: 9783540646754

Nuevo Taschenbuch

Impresi�n bajo demanda

Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Taschenbuch. Condici�n: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes the refereed proceedings of the 15th International Conference on Automated Deduction, CADE-15, held in Lindau, Germany, in July 1998.The volume presents three invited contributions together with 25 revised full papers and 10 revised system descriptions; these were selected from a total of 120 submissions. The papers address all current issues in automated deduction and theorem proving based on resolution, superposition, model generation and elimination, or connection tableau calculus, in first-order, higher-order, intuitionistic, or modal logics, and describe applications to geometry, computer algebra, or reactive systems.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 464 pp. Englisch. N� de ref. del art�culo: 9783540646754

Contactar al vendedor

Comprar nuevo

EUR 53,49

Env�o por EUR 60,00
Se env�a de Alemania a Estados Unidos de America

Cantidad disponible: 1 disponibles

A�adir al carrito

Imagen del vendedor

Automated Deduction - CADE-15 : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings

Claude Kirchner

Publicado por Springer, Springer, 1998

ISBN 10: 3540646752 ISBN 13: 9783540646754

Nuevo Taschenbuch

Librería: AHA-BUCH GmbH, Einbeck, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Taschenbuch. Condici�n: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 15th International Conference on Automated Deduction, CADE-15, held in Lindau, Germany, in July 1998.The volume presents three invited contributions together with 25 revised full papers and 10 revised system descriptions; these were selected from a total of 120 submissions. The papers address all current issues in automated deduction and theorem proving based on resolution, superposition, model generation and elimination, or connection tableau calculus, in first-order, higher-order, intuitionistic, or modal logics, and describe applications to geometry, computer algebra, or reactive systems. N� de ref. del art�culo: 9783540646754

Contactar al vendedor

Comprar nuevo

EUR 53,49

Env�o por EUR 63,49
Se env�a de Alemania a Estados Unidos de America

Cantidad disponible: 1 disponibles

A�adir al carrito

Imagen del vendedor

Automated Deduction - CADE-15

Helene Kirchner

Publicado por Springer Berlin Heidelberg Jun 1998, 1998

ISBN 10: 3540646752 ISBN 13: 9783540646754

Nuevo Taschenbuch

Impresi�n bajo demanda

Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Taschenbuch. Condici�n: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 15th International Conference on Automated Deduction, CADE-15, held in Lindau, Germany, in July 1998.The volume presents three invited contributions together with 25 revised full papers and 10 revised system descriptions; these were selected from a total of 120 submissions. The papers address all current issues in automated deduction and theorem proving based on resolution, superposition, model generation and elimination, or connection tableau calculus, in first-order, higher-order, intuitionistic, or modal logics, and describe applications to geometry, computer algebra, or reactive systems. 464 pp. Englisch. N� de ref. del art�culo: 9783540646754

Contactar al vendedor