Computational Logic (Nato ASI Subseries F: (165)).

Berger, Ulrich and Helmut Schwichtenberg:

ISBN 10: 3540645896 ISBN 13: 9783540645894

Editorial: Springer, 1999

Idioma: Ingl�s

Condici�n: Usado - Excelente Encuadernaci�n de tapa dura

Guardar para m�s tarde

Vendido por Wissenschaftl. Antiquariat Th. Haker e.K, Klettgau, Alemania

Vendedor de AbeBooks desde 11 de enero de 2007

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 dura

Condici�n: Usado - Excelente

Precio: EUR 51,30 Convertir moneda

EUR 18,30 gastos de env�o desde Alemania a Espa�a Destinos, gastos y plazos de env�o

Cantidad disponible: 2 disponibles

A�adir al carrito

Guardar para m�s tarde

Descripci�n

457 p. In very good condition. ISBN: 9783540645894 Sprache: Englisch Gewicht in Gramm: 788 15,6 x 2,5 x 23,4 cm, hardcover.

N� de ref. del art�culo 59679

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo

Computational Logic (Nato ASI Subseries F: (165)).

Editor

Springer

Fecha de publicaci�n

1999

Idioma

Ingl�s

ISBN 10

3540645896

ISBN 13

9783540645894

Encuadernaci�n

Encuadernaci�n de tapa dura

Edici�n

orig. ed.

Estado

Sehr gut

Peso

788 gramos

Cat�logos de vendedores

Informatik, Hardware, Software

Acerca de

Sinopsis

Recent developments in computer science clearly show the need for a better theoretical foundation for some central issues. Methods and results from mathematical logic, in particular proof theory and model theory, are of great help here and will be used much more in future than previously. This book provides an excellent introduction to the interplay of mathematical logic and computer science. It contains extensively reworked versions of the lectures given at the 1997 Marktoberdorf Summer School by leading researchers in the field.
Topics covered include: proof theory and specification of computation (J.-Y. Girard, D. Miller), complexity of proofs and programs (S. R. Buss, S. S. Wainer), computational content of proofs (H. Schwichtenberg), constructive type theory (P. Aczel, H. Barendregt, R. L. Constable), computational mathematics, (U. Martin), rewriting logic (J. Meseguer), and game semantics (S. Abramski).

Rese�a del editor

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

Descripci�n de la librer�a

Wissenschaftliches Antiquariat Thomas Haker e.K., Inhaber: Thomas Haker, Registernummer: HRA 703494 A, Registergericht: Amtstgericht Freiburg, Sitz: Klettgau, Anschrift: Weisweiler Str. 13, 79771 Klettgau, Deutschland, Tel: +49 (0)7742 / 85 82 73 Fax: +49 (0)7742 / 85 82 73, Email: buch@thomashaker.de Plattform der EU-Kommission zur Online-Streitbeilegung: http://ec.europa.eu/consumers/odr Wir sind zur Teilnahme an einem Streitbeilegungsverfahren vor einer Verbraucherschlichtungsstelle weder verpflichtet noch bereit.

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

Wissenschaftl. Antiquariat Th. Haker e.K
Germany

Condiciones de venta y env�o

Condiciones de venta

Allgemeine Gesch�ftsbedingungen mit Kundeninformationen

Inhaltsverzeichnis

Geltungsbereich
Vertragsschluss
Widerrufsrecht
Preise und Zahlungsbedingungen
Liefer- und Versandbedingungen
Eigentumsvorbehalt
M�ngelhaftung
Anwendbares Recht
Gerichtsstand
Datenschutz
Alternative Streitbeilegung

Geltungsbereich
1.1 Diese Allgemeinen Gesch�ftsbedingungen (nachfolgend "AGB") des Wissenschaftliches Antiquariat Thomas Haker e.K. (nachfolgend "Verk�ufer"), gelten f�r alle Vertr�ge, die ein Verbraucher oder Unternehm...

M�s informaci�n

Derecho a cancelaci�n

Condiciones de env�o

Die Bearbeitung Ihrer Bestellung erfolgt in der Regel innerhalb eines Werktages.

Tarifas de env�o de Alemania a Espa�a

Tarifas de env�o de Alemania a Espa�a
Cantidad del pedido	De 4 a 16 d�as h�biles	De 4 a 16 d�as h�biles
Primer art�culo	EUR 18.30	EUR 18.30

Los plazos de entrega los establecen los vendedores y var�an seg�n el transportista y la ubicaci�n. Los pedidos que pasan por la aduana pueden sufrir retrasos y los compradores son responsables de los aranceles o tarifas asociadas. Los vendedores pueden ponerse en contacto con usted en relaci�n con cargos adicionales para cubrir cualquier aumento en los costes de env�o de los art�culos.

Informaci�n detallada sobre el vendedor