XII, 491 Seiten, Lecture Notes in Artificial Intelligence, Band 3097. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. Schneller Versand und pers�nlicher Service - jedes Buch h�ndisch gepr�ft und beschrieben - aus unserem Familienbetrieb seit �ber 25 Jahren. Eine Rechnung mit ausgewiesener Mehrwertsteuer liegt jeder unserer Lieferungen bei. Wir versenden mit der deutschen Post. Sprache: Englisch Gewicht in Gramm: 754.

N� de ref. del art�culo 492462

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo

Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings (Lecture Notes in Artificial Intelligence, Band 3097)

Editor

Berlin, Heidelberg: Springer-Verlag

Fecha de publicaci�n

2004

Idioma

Ingl�s

ISBN 10

3540223452

ISBN 13

9783540223450

Encuadernaci�n

Broschiert Broschiert

Estado

Sehr gut

Peso

754 gramos

Cat�logos de vendedores

Naturwissenschaften Informatik

Acerca de

Sinopsis

This volume constitutes the proceedings of the 2nd International Joint C- ference on Automated Reasoning (IJCAR 2004) held July 4-8, 2004 in Cork, Ireland. IJCAR 2004 continued the tradition established at the ?rst IJCAR in Siena,Italyin2001,whichbroughttogetherdi?erentresearchcommunitieswo- ing in automated reasoning. The current IJCAR is the fusion of the following conferences: CADE: The International Conference on Automated Deduction, CALCULEMUS: Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, FroCoS: Workshop on Frontiers of Combining Systems, FTP: The International Workshop on First-Order Theorem Proving, and TABLEAUX: The International Conference on Automated Reasoning with Analytic Tableaux and Related Methods. There were 74 research papers submitted to IJCAR as well as 12 system descriptions. After extensive reviewing, 26 research papers and 6 system - scriptions were accepted for presentation at the conference and publication in this volume. In addition, this volume also contains papers from the three invited speakers and a description of the CADE ATP system competition. We would like to acknowledge the enormous amount of work put in by the members of the program committee, the various organizing and steering c- mittees, the IJCAR o?cials, the invited speakers, and the additional referees named on the following pages. We would also like to thank Achim Brucker and Barbara Geiser for their help in producing this volume.

Rese�a del editor

This volume constitutes the proceedings of the 2nd International Joint C- ference on Automated Reasoning (IJCAR 2004) held July 4–8, 2004 in Cork, Ireland. IJCAR 2004 continued the tradition established at the ?rst IJCAR in Siena,Italyin2001,whichbroughttogetherdi?erentresearchcommunitieswo- ing in automated reasoning. The current IJCAR is the fusion of the following conferences: CADE: The International Conference on Automated Deduction, CALCULEMUS: Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, FroCoS: Workshop on Frontiers of Combining Systems, FTP: The International Workshop on First-Order Theorem Proving, and TABLEAUX: The International Conference on Automated Reasoning with Analytic Tableaux and Related Methods. There were 74 research papers submitted to IJCAR as well as 12 system descriptions. After extensive reviewing, 26 research papers and 6 system - scriptions were accepted for presentation at the conference and publication in this volume. In addition, this volume also contains papers from the three invited speakers and a description of the CADE ATP system competition. We would like to acknowledge the enormous amount of work put in by the members of the program committee, the various organizing and steering c- mittees, the IJCAR o?cials, the invited speakers, and the additional referees named on the following pages. We would also like to thank Achim Brucker and Barbara Geiser for their help in producing this volume.

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

Descripci�n de la librer�a

Herzlich Willkommen im online- Shop des Antiquariates Bernhardt. Weit �ber 40.000 Titel zu allen Fach- Sach- und wissenschaftlichen Themen warten darauf von Ihnen entdeckt zu werden. Schwerpunkte bilden die Sachgebiete: Eisenbahn, Auto und Motorsport, Schifffahrt, Kunst, Geschichte, Philosophie, Esoterik, Rudolf Steiner, Bibliophile B�cher, Naturwissenschaften insbesondere die Mathematik und zahlreiche weitere Sachgebiete. Wenn Sie an unseren Neuzug�ngen interessiert sind, senden Sie uns einfach eine E-Mail mit den Themen f�r die Sie sich interessieren und Sie bekommen von uns regelm��ig eine E-Mail mit unseren Neuzug�ngen zu Ihrem Suchgebiet. Sollten Sie an B�chern aus unserem Shop interessiert sein und diese gerne selbst in unserem Laden abholen, rufen Sie uns bitte vorher an und wir werden Ihnen Ihre Titelauswahl bereitlegen. Selbstverst�ndlich ist eine Abholung in unserem Archiv, das sich in Kassel in der Knorrstr. 39 befindet, m�glich. Bitte vereinbaren Sie daf�r einfach einen Termin. Buchankauf Haben Sie B�cher zu verkaufen ? Dann bieten Sie uns doch Ihre B�cher an. Wir sind immer interessiert an gut erhaltenen, gebrauchten, antiquarischen und aktuellen Bibliotheken / B�chern mit den Schwerpunkten: Eisenbahn, Automobile und Motorsport, Luftfahrt, Schifffahrt, Geschichte, Milit�rgeschichte, Kunst, Philosophie, Architektur, Atlanten, Botanik, Bergbau, Literatur, Insel B�cherei, die andere Bibliothek, Rudolf Steiner, Esoterik, Fotografie, Geographie, Jagd, antike Reisebeschreibungen ( Afrikaexpeditionen, Polarforschung usw.), antike Kinderbilderb�cher, Kochen, Olympia- und Fu�ballb�cher, Motorr�der, Naturwissenschaften, h�here Mathematik und Physik, Wirtschaft, Zoologie, Ornithologie, Tauben, Geisteswissenschaften, Theologie, Orts- und Landeskunde, Zigarettenbilderalben, Sammelbilderalben, Raumbildalben, Bibliophile B�cher und Einb�nde, Ansichtenwerke, B�cher mit original Graphik, illustrierte B�cher, Stahlstichwerke, alte Bibeln, antike B�cher des 16. ? 20. Jahrhunderts, Sachb�cher, Fachb�cher und wissenschaftliche B�cher aus allen Wissensgebieten und vieles mehr. Au�erdem suchen wir noch alte St�dteansichten, Landkarten und dekorative Graphik sowie alte Postkarten, Ansichtskarten, alte Plakate, Fotos, Kleinantiquit�ten und vieles mehr Gerne kaufen wir auch wissenschaftliche Bibliotheken, hochwertige Sammlungen, komplette Buchl�den, Antiquariate und Archive. Bei gro�en B�chersammlungen vereinbaren Sie doch einfach einen Termin mit uns, wir kommen gerne bei Ihnen vorbei und besichtigen die B�cher bei Ihnen vor Ort ! Wir kaufen B�cher in ganz Deutschland an. Eine seri�se und faire Abwicklung ist f�r uns selbstverst�ndlich. Antiquariat Bernhardt Knorrstr.39 34121 Kassel Tel.: 0561 / 920 57 10 Email: antiquariat.bernhardt@googlemail.com www.antiquariat-bernhardt.de �ffnungszeiten: Mo. - Fr. 10:00 - 18:00 Uhr

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

Antiquariat Bernhardt
Germany

Condiciones de venta y env�o

Condiciones de venta

Gesch�fts- und Lieferbedingungen von Antiquariat Bernhardt

Allgemeines - Geltungsbereich

1.1.
Die folgenden Allgemeinen Gesch�ftsbedingungen gelten f�r alle Gesch�ftsbeziehungen zwischen uns und unseren Kunden. Ma�geblich ist jeweils die zum Zeitpunkt des Vertragsschlusses g�ltige Fassung.

1.2.
Verbraucher i. S. d. Gesch�ftsbedingungen sind nat�rliche Personen, mit denen wir in Gesch�ftsbeziehung treten, ohne dass diesen eine gewerbliche oder selbst�ndige berufliche T�tigkeit zugerechnet werden ...

M�s informaci�n

Derecho al desistimiento

Si es un consumidor, puede rescindir el contrato de acuerdo con lo siguiente. Por consumidor se entiende cualquier persona f�sica que act�e con fines ajenos a su actividad comercial, empresarial, oficio o profesi�n.

Informaci�n sobre el derecho de desistimiento

Derecho legal de desistimiento

Tiene derecho a rescindir este contrato en un plazo de 14 d�as sin dar ning�n motivo.

El periodo de desistimiento vencer� a los 14 d�as desde que usted, o un tercero que no sea el transportista e indicado por usted, adquiera la posesi�n f�sica del �ltimo bien o del �ltimo lote o pieza.

Para ejercer el derecho de desistimiento, complete de forma electr�nica y env�e una declaraci�n clara en nuestro sitio web, desde "Mis compras" en "Mi cuenta". Le enviaremos sin demora un acuse de recibo de dicho desistimiento a trav�s de un soporte duradero (por ejemplo, por correo electr�nico).

Para cumplir con el plazo de desistimiento, basta con que env�e su comunicaci�n relativa al ejercicio del derecho de desistimiento antes de que venza el periodo de desistimiento.

Efectos del desistimiento

Si rescinde este contrato, le reembolsaremos todos los pagos que hayamos recibido de usted, incluidos los gastos de env�o (excepto los gastos adicionales que surjan si elige un tipo de env�o que no sea el tipo de env�o est�ndar m�s econ�mico que ofrecemos).

Podemos hacer una deducci�n del reembolso por la p�rdida de valor de cualquier bien suministrado, si la p�rdida es el resultado de una manipulaci�n innecesaria por su parte.

Efectuaremos el reembolso sin demoras indebidas y, a m�s tardar, 14 d�as despu�s de que se nos informe de su decisi�n de rescindir este contrato.

Efectuaremos el reembolso utilizando el mismo medio de pago que utiliz� para la transacci�n inicial, a menos que haya acordado expresamente lo contrario; en cualquier caso, no incurrir� en ning�n cargo como resultado de dicho reembolso.

Podremos retener el reembolso hasta que hayamos recibido los bienes o hasta que nos haya presentado una prueba de que los ha devuelto, lo que ocurra primero.

Deber� devolver los bienes o entregarlos a Antiquariat Bernhardt, Kassel, Germany, +49 0561 9205710, sin demoras indebidas y, en cualquier caso, en un plazo m�ximo de 14 d�as a partir del d�a en que nos comunique su desistimiento del presente contrato. El plazo se cumple si devuelve la mercanc�a antes de que venza el periodo de 14 d�as. Tendr� que asumir los gastos directos de devoluci�n de los bienes. Usted solo es responsable de la disminuci�n del valor de los bienes como resultado de una manipulaci�n distinta a la necesaria para establecer la naturaleza, las caracter�sticas y el funcionamiento de los bienes.

Excepciones al derecho de desistimiento

El derecho de desistimiento no se aplica a lo siguiente:

La entrega de peri�dicos, diarios o revistas, con la excepci�n de los contratos de suscripci�n; y
El suministro de contenido digital que no se proporcione en un soporte tangible (por ejemplo, en un CD o DVD) si, al hacer el pedido, acept� que pod�amos empezar a entregarlo y que no podr�a desistir una vez iniciada la entrega.

Condiciones de env�o

Die Ware wird in der Regel innerhalb von 2 Tagen nach Bestelleingang verschickt. Bitte entnehmen Sie den voraussichtlichen Liefertermin Ihrer Bestellbest�tigung. Die Versandkostenpauschalen basieren auf Durchschnittswerten f�r 1 kg schwere B�cher. �ber abweichende Kosten (z.B. wegen eines sehr schweren Buches) werden Sie gegebenenfalls vom Verk�ufer informiert.

Widerrufsbelehrung
Widerrufsrecht
Sie k�nnen Ihre Vertragserkl�rung innerhalb von 14 Tagen ohne Angabe von Gr�nden in Textform (z. B. Brief, Fax, E-Mail) oder - wenn Ihnen die Sache vor Fristablauf �berlassen wird - durch R�cksendung der Sache widerrufen. Die Frist beginnt nach Erhalt dieser Belehrung in Textform, jedoch nicht vor Eingang der Ware beim Empf�nger (bei der wiederkehrenden Lieferung gleichartiger Waren nicht vor Eingang der ersten Teillieferung) und auch nicht vor Erf�llung unserer Informationspflichten gem�� Artikel 246 � 2 in Verbindung mit � 1 Abs. 1 und 2 EGBGB sowie unserer Pflichten gem�� 312e Abs. 1 Satz 1 BGB in Verbindung mit Artikel 246 � 3 EGBGB. Zur Wahrung der Widerrufsfrist gen�gt die rechtzeitige Absendung des Widerrufs oder der Sache. Der Widerruf ist zu richten an:
Antiquariat Bernhardt
Inh. Andreas Bernhardt
Knorrstr. 39
34121 Kassel
Telefon: 0561 / 920 57 10
Fax: 0561 / 510 90 200
E-Mail: info@antiquariat-bernhardt.de
http://www.antiquariat-bernhardt.com
Widerrufsfolgen
Im Falle eines wirksamen Widerrufs sind die beiderseits empfangenen Leistungen zur�ckzugew�hren und ggf. gezogene Nutzungen (z. B. Zinsen) herauszugeben. K�nnen Sie uns die empfangene Leistung ganz oder teilweise nicht oder nur in verschlechtertem Zustand zur�ckgew�hren, m�ssen Sie uns insoweit ggf. Wertersatz leisten. Bei der �berlassung von Sachen gilt dies nicht, wenn die Verschlechterung der Sache ausschlie�lich auf deren Pr�fung - wie sie Ihnen etwa im Ladengesch�ft m�glich gewesen w�re - zur�ckzuf�hren ist. Im �brigen k�nnen Sie die Pflicht zum Wertersatz f�r eine durch die bestimmungsgem��e Ingebrauchnahme der Sache entstandene Verschlechterung vermeiden, indem Sie die Sache nicht wie Ihr Eigentum in Gebrauch nehmen und alles unterlassen, was deren Wert beeintr�chtigt. Paketversandf�hige Sachen sind auf unsere Gefahr zur�ckzusenden. Sie haben die Kosten der R�cksendung zu tragen, wenn die gelieferte Ware der bestellten entspricht und wenn der Preis der zur�ckzusendenden Sache einen Betrag von 40 Euro nicht �bersteigt oder wenn Sie bei einem h�heren Preis der Sache zum Zeitpunkt des Widerrufs noch nicht die Gegenleistung oder eine vertraglich vereinbarte Teilzahlung erbracht haben. Anderenfalls ist die R�cksendung f�r Sie kostenfrei. Nicht paketversandf�hige Sachen werden bei Ihnen abgeholt. Verpflichtungen zur Erstattung von Zahlungen m�ssen innerhalb von 30 Tagen erf�llt werden. Die Frist beginnt f�r Sie mit der Absendung Ihrer Widerrufserkl�rung oder der Sache, f�r uns mit deren Empfang.
Ende der Widerrufsbelehrung

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 10 a 14 d�as h�biles	De 8 a 12 d�as h�biles
Primer art�culo	EUR 49.90	EUR 82.90

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.