346 Ehemaliges Bibliotheksexemplar, Gebrauchsspuren, div. Stempel, gebr�unt Mathematic Mathematik With figures. Ex-Library. Brownish paper. Guter Zustand/ Good With figures. Ex-Library. ha1090478 Sprache: Deutsch Gewicht in Gramm: 750.

N� de ref. del art�culo 406137

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo

CSL ' 87. 1st Workshop on Computer Science Logic Karlsruhe, FRG, October 12-16, 1987 Proceedings. (=Lecture Notes in Computer Science; 329).

Editor

Springer Berlin

Fecha de publicaci�n

1988

Idioma

Alem�n

ISBN 10

3540502416

ISBN 13

9783540502418

Encuadernaci�n

Paperback

Estado

Wie neu

Peso

750 gramos

Cat�logos de vendedores

Fachb�cher - Naturwissenschaften

Acerca de

Sinopsis

This volume contains the papers which were presented to the workshop "Computer-Science Logic" held in Karlsruhe on October 12-16, 1987. Traditionally Logic, or more specifically, Mathematical Logic splits into several subareas: Set Theory, Proof Theory, Recursion Theory, and Model Theory. In addition there is what sometimes is called Philosophical Logic which deals with topics like nonclassical logics and which for historical reasons has been developed mainly at philosphical departments rather than at mathematics institutions. Today Computer Science challenges Logic in a new way. The theoretical analysis of problems in Computer Science for intrinsic reasons has pointed back to Logic. A broad class of questions became visible which is of a basically logical nature. These questions are often related to some of the traditional disciplines of Logic but normally without being covered adequately by any of them. The novel and unifying aspect of this new branch of Logic is the algorithmic point of view which is based on experiences people had with computers. The aim of the "Computer-Science Logic" workshop and of this volume is to represent the richness of research activities in this field in the German-speaking countries and to point to their underlying general logical principles.

Rese�a del editor

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

Descripci�n de la librer�a

Onlineversandantquariat

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

ralfs-buecherkiste
MOL, Germany

Condiciones de venta y env�o

Condiciones de venta

Buchversand Ralfs-Buecherkiste Ralf Neubauer Erikaweg 2 15378 Herzfelde Telefon 033434-47861 (9-13 Uhr Mo-Fr) Fax 030-34901453 E-Mail: buchversand@ralfs-buecherkiste.de Ust-Id Nr.: DE190795333 ab 09.Januar 2016 EU Verbraucherschlichtung Link bitte einkopieren http://ec.europa.eu/consumers/odr/ � 1 Geltung der AGB / Identit�t und Anschrift 1. Die folgenden Allgemeinen Gesch�ftsbedingungen gelten f�r alle Gesch�ftsbeziehungen zwischen uns und unseren Kunden. Ma�geblich ist jeweils die zum Zeitpunk...

M�s informaci�n

Derecho a cancelaci�n

Condiciones de env�o

Die Ware wird in der Regel innerhalb von 2-3 Tagen nach Zahlungseingang verschickt. �ber abweichende Kosten (z.B. wegen eines sehr schweren Buches) werden Sie gegebenenfalls informiert.

Tarifas de env�o de Alemania a Estados Unidos de America

Tarifas de env�o de Alemania a Estados Unidos de America
Cantidad del pedido	De 25 a 45 d�as h�biles	De 8 a 14 d�as h�biles
Primer art�culo	EUR 29.00	EUR 40.00

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