Mechanizing Mathematical Reasoning: Essays in Honor of J�rg H. Siekmann on the Occasion of His 60th Birthday: Essays in Honor of J�rg H. Siekmann on . Notes in Computer Science, 2605, Band 2605)

Verlag

Springer

Erscheinungsjahr

2008

Sprache

Englisch

ISBN-10

3540250514

ISBN-13

9783540250517

Einband

paperback

Zustand

Befriedigend

Gewicht

1 Gramm

Verk�uferkataloge

Varia

�ber diesen Titel

Inhaltsangabe

By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence and AI applications, this book commemorates the 60th birthday of J�rg H. Siekmann.

The 30 revised reviewed papers are written by former and current students and colleagues of J�rg Siekmann; also included is an appraisal of the scientific career of J�rg Siekmann entitled "A Portrait of a Scientist: Logics, AI, and Politics." The papers are organized in four parts on logic and deduction, applications of logic, formal methods and security, and agents and planning.

Rese�a del editor

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

Studibuch ist ein Onlineshop f�r Studien- und Fachb�cher. Bei uns bekommst Du gebrauchte und gut erhaltene Fachliteratur zu fairen Preisen. B�cher mehrmals zu verwenden bedeutet, knappe Ressourcen nachhaltig zu nutzen. Durch deinen Einkauf bei Studibuch entsteht eine Wertekette, die vollst�ndig auf nachhaltiges Wirtschaften ausgerichtet ist und ein Zeichen gegen die Wegwerfmentalit�t setzt. Wenn Du selbst noch gebrauchte Fachb�cher hast, die Du nicht mehr ben�tigst dann kannst Du sie auf Studibuch.de verkaufen. Mit Deinem Verkauf bei Studibuch schaffst Du Platz im Regal und kannst den Verkaufserl�s f�r ein neues Fachbuch nutzen. Der Verkauf funktioniert ganz einfach. Du gibst die ISBN oder den Buchtitel auf unserer Seite ein oder scannst mit der kostenlosen Studibuch App den Barcode des Buches. Jetzt fehlt nur noch eine Angabe zum Zustand und dann wird Dir direkt der Verkaufspreis genannt. Nachdem Du alle B�cher eingegeben hast, kannst Du �ber einen Link Deinen Paketschein ausdrucken und die B�cher an uns versenden. Nach Eintreffen der B�cher erh�ltst Du garantiert innerhalb von drei Werktagen Dein Geld.

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

Studibuch GmbH
Neue Weinsteige 69, Stuttgart, 70180, Germany

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

� 1 Geltungsbereich
(1) Diese allgemeinen Gesch�ftsbedingungen gelten f�r alle Gesch�ftsbeziehungen zwischen der Studibuch GmbH und ihren Kunden �ber physische Produkte (z.B. B�cher, CDs) und Dienstleistungen �ber s�mtliche von Studibuch bereitgestellten Kan�le, z.B. Webshop, Applikationen (im Folgenden: App)
(2) Die allgemeinen Gesch�ftsbedingungen gelten in der jeweiligen, zum Zeitpunkt des Vertragsschlusses aktuellen Fassung. Je nach Endger�t des Kunden kann dieses Dokument ausgedruckt und/od...

Mehr Information

Widerrufsbelehrung

Versandbedingungen

Au�erhalb Deutschlands versenden wir mit Versicherung bis 50 EUR (bei Paketen bis 2kg). Zus�tzlich mit Sendungsverfolgungsnummer.

Achtung! R�cksendungen bei Annahmeverweigerung oder nicht erfolgter Abholung
Sendungen, die aufgrund einer Annahmeverweigerung durch den Kunden oder wegen nicht rechtzeitiger Abholung beim Versanddienstleister an uns zur�ckgesendet werden, gelten nicht als regul�re R�cksendungen im Rahmen des Widerrufsrechts. In solchen F�llen behalten wir uns vor, eine pauschale Bearbeitungs- und R�cksendegeb�hr vom zu erstattenden Kaufpreis abzuziehen.

Die Geb�hren setzen sich aus Bearbeitungsgeb�hr und R�cksendekosten zusammen und betragen:

F�r R�cksendungen innerhalb Deutschlands: 4,90 €
F�r R�cksendungen aus dem Ausland: 12,90 €
Die Summe der Geb�hren wird automatisch bei der R�ckerstattung verrechnet.**

Versandkosten innerhalb von Deutschland

Versandkosten innerhalb von Deutschland
Bestellmenge	2 bis 4�Werktage	2 bis 4�Werktage
Erster Artikel	EUR 0.00	EUR 3.99

Die Versandzeiten werden von den Verk�uferinnen und Verk�ufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, k�nnen Verz�gerungen unterliegen. Eventuell anfallende Abgaben oder Geb�hren sind von der K�uferin bzw. dem K�ufer zu tragen. Die Verk�uferin bzw. der Verk�ufer kann Sie bez�glich zus�tzlicher Versandkosten kontaktieren, um einen m�glichen Anstieg der Versandkosten f�r Ihre Artikel auszugleichen.

Impressum & Info zum Verk�ufer