XIII, 457 Seiten, Lecture Notes in Artificial Intelligence, Band 3632. Zust: Gutes Exemplar. Cover und Buchr�cken mit Gebrauchsspuren. 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: 700.

N� de ref. del art�culo 492461

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo

Automated Deduction - CADE-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 2005 Proceedings (Lecture Notes in Artificial Intelligence, Band 3632)

Editor

Berlin, Heidelberg: Springer-Verlag

Fecha de publicaci�n

2005

Idioma

Ingl�s

ISBN 10

3540280057

ISBN 13

9783540280057

Encuadernaci�n

Broschiert Broschiert

Estado

Gut

Peso

700 gramos

Cat�logos de vendedores

Naturwissenschaften Informatik

Acerca de

Sinopsis

This volume contains the proceedings of the 20th International Conference on AutomatedDeduction (CADE-20).ItwasheldJuly22-27,2005inTallinn,Es- nia,togetherwiththeWorkshoponConstraintsinFormalVeri?cation(CFV’05), the Workshop on Empirically Successful Classical Automated Reasoning (ES- CAR), the Workshop on Non-Theorems, Non-Validity, Non-Provability (DIS- PROVING), and the yearly CADE ATP System Competition (CASC). CADE is the major forum for the presentation of research in all aspects of automated deduction. The ?rst CADE conference was held in 1974. Early CADEs were mostly biennial, and annual conferences started in 1996. Logics of interest include propositional, ?rst-order, equational, higher-order, classical, intuitionistic, constructive, modal, temporal, many-valued, substr- tural, description, and meta-logics, logical frameworks, type theory and set t- ory. Methods of interest include saturation, resolution, tableaux, sequent calculi, term rewriting, induction, uni?cation, constraint solving, decision procedures, model generation,model checking,natural deduction, proofplanning, proof p- sentation, proof checking, and explanation. Applications of interest include hardwareand softwaredevelopment,systems analysisandveri?cation,deductivedatabases,functionalandlogicprogramming, computer mathematics, natural language processing, computational linguistics, robotics, planning, knowledge representation, and other areas of AI. This year, there were 78 submissions, of which 9 system descriptions. Each submissionwasassignedto atleastfour programcommitteemembers,whoca- fully reviewed the papers, in many cases with the help of one or more of a total number of 115 external referees. For each submission at least four reviews were produced and forwarded to the authors. The merits of the submissions were d- cussed by the programcommittee for ten days through the Internet by means of the EasyChair system. Finally, the program committee selected for publication 25 regular research papers and 5 system descriptions.

Rese�a del editor

This volume contains the proceedings of the 20th International Conference on AutomatedDeduction (CADE-20).ItwasheldJuly22-27,2005inTallinn,Es- nia,togetherwiththeWorkshoponConstraintsinFormalVeri?cation(CFV'05), the Workshop on Empirically Successful Classical Automated Reasoning (ES- CAR), the Workshop on Non-Theorems, Non-Validity, Non-Provability (DIS- PROVING), and the yearly CADE ATP System Competition (CASC). CADE is the major forum for the presentation of research in all aspects of automated deduction. The ?rst CADE conference was held in 1974. Early CADEs were mostly biennial, and annual conferences started in 1996. Logics of interest include propositional, ?rst-order, equational, higher-order, classical, intuitionistic, constructive, modal, temporal, many-valued, substr- tural, description, and meta-logics, logical frameworks, type theory and set t- ory. Methods of interest include saturation, resolution, tableaux, sequent calculi, term rewriting, induction, uni?cation, constraint solving, decision procedures, model generation,model checking,natural deduction, proofplanning, proof p- sentation, proof checking, and explanation. Applications of interest include hardwareand softwaredevelopment,systems analysisandveri?cation,deductivedatabases,functionalandlogicprogramming, computer mathematics, natural language processing, computational linguistics, robotics, planning, knowledge representation, and other areas of AI. This year, there were 78 submissions, of which 9 system descriptions. Each submissionwasassignedto atleastfour programcommitteemembers,whoca- fully reviewed the papers, in many cases with the help of one or more of a total number of 115 external referees. For each submission at least four reviews were produced and forwarded to the authors. The merits of the submissions were d- cussed by the programcommittee for ten days through the Internet by means of the EasyChair system. Finally, the program committee selected for publication 25 regular research papers and 5 system descriptions.

"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.