Automated Reasoning with Analytic Tableaux and Related Methods

Bernhard Beckert

ISBN 10: 3540289313 ISBN 13: 9783540289319

Editorial: Springer, 2005

Idioma: Ingl�s

Condici�n: Usado Encuadernaci�n de tapa blanda

Guardar para m�s tarde

Vendido por Biblios, Frankfurt am main, HESSE, Alemania

Vendedor de AbeBooks desde 10 de septiembre de 2024

Calificaci�n del vendedor: 5 de 5 estrellas

Ver los art�culos de este vendedor

Ver todos los ejemplares de este libro

Usado - Encuadernaci�n de tapa blanda

Condici�n: Used

Precio: EUR 79,49 Convertir moneda

EUR 14,50 gastos de env�o desde Alemania a Espa�a Destinos, gastos y plazos de env�o

Cantidad disponible: 1 disponibles

A�adir al carrito

Guardar para m�s tarde

Descripci�n

pp. xiii + 343.

N� de ref. del art�culo 183063768

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo: Automated Reasoning with Analytic Tableaux and Related Methods
Editor: Springer
Fecha de publicaci�n: 2005
Idioma: Ingl�s
ISBN 10: 3540289313
ISBN 13: 9783540289319
Encuadernaci�n: Encuadernaci�n de tapa blanda
Estado: Used

Acerca de

Sinopsis

This book constitutes the refereed proceedings of the 14th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2005, held in Koblenz, Germany, in September 2005. The 18 revised research papers presented together with 7 system descriptions as well as 4 invited talks were carefully reviewed and selected from 46 submissions. All aspects of the mechanization of reasoning with tableaux and related methods are focused: analytic tableaux for various logics, related techniques and concepts, new calculi and methods for theorem proving in classical and non-classical logics, systems, tools, and implementations. It puts a special emphasis on applications of tableaux and related methods in areas such as, for example, hardware and software verification, knowledge engineering, and semantic Web.

Rese�a del editor

This book constitutes the refereed proceedings of the 14th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2005, held in Koblenz, Germany, in September 2005. The 18 revised research papers presented together with 7 system descriptions as well as 4 invited talks were carefully reviewed and selected from 46 submissions. All aspects of the mechanization of reasoning with tableaux and related methods are focused: analytic tableaux for various logics, related techniques and concepts, new calculi and methods for theorem proving in classical and non-classical logics, systems, tools, and implementations. It puts a special emphasis on applications of tableaux and related methods in areas such as, for example, hardware and software verification, knowledge engineering, and semantic Web.

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

Descripci�n de la librer�a

We carry a wide selection of books from South Asia, United States, UK.

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

Readingos GmbH
Kaiserstra�e 47, Frankfurt am Main, 60329, Germany

Condiciones de venta y env�o

Condiciones de venta

Condiciones de env�o

Informaci�n detallada sobre el vendedor

M�todos de pago

A�adir una petici�n