Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Mechanizing Mathematical Reasoning

Name: Mechanizing Mathematical Reasoning
Brand: Springer, Berlin
SKU: 01560370
Price: 107.29 EUR
Availability: InStock
Author: D. Hutter
ISBN: 9783540250517

D. Hutter

W. Stephan

Sprache

Englisch

Buch Broschur

Libristo-Code: 01560370

Verlag Springer, Berlin, November 2004

By presenting state-of-the-art results in logical reasoning and formal methods in the context of art... Vollständige Beschreibung

Libristo-Code: 01560370

263 b

107.29 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Microtrafico de drogas en ninas y adolescentes Romero Miranda Luis Alejandro

Broschur

33.59 €

Das Internet der Dinge Wolfgang Odenthal

Broschur

13.99 €

Die rechtlichen Rahmenbedingungen der wirtschaftlichen Nutzung des Weltraums. Stephan Hobe

Broschur

69.90 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Mechanizing Mathematical Reasoning

Autor D. Hutter, W. Stephan

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2005

Anzahl der Seiten 570

EAN 9783540250517

ISBN 3540250514

Libristo-Code 01560370

Verlag Springer, Berlin

Gewicht 860

Abmessungen 155 x 233 x 29

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik > Robotik

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert