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 :-(

Logic for Programming, Artificial Intelligence, and Reasoning

Name: Logic for Programming, Artificial Intelligence, and Reasoning
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01560435
Price: 107.29 EUR
Availability: InStock
Author: Franz Baader
ISBN: 9783540252368

11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings

Franz Baader

Andrei Voronkov

Sprache

Englisch

Buch Broschur

Libristo-Code: 01560435

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, März 2005

This book constitutes the refereed proceedings of the 11th International Conference on Logic for Pro... Vollständige Beschreibung

Libristo-Code: 01560435

263 b

107.29 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

MIKADO - 2022

Spielzeug

15.29 €

Alberi Lemniscates

Hardcover

16.29 €

QUINTET B FLAT MAJOR CLARINETTE-PARTITION+PARTIES SEPAREES DIETER SCHNEBEL Drucksachen

Noten

83.89 €

PORTRAITS LITTERAIRES De Quincey

Broschur

27.99 €

Nathan et les Territoires maudits Enza

Broschur

15.19 €

misura della felicità. Il '700 eclettico di Francesco Maria Zanotti Alberto Panighetti

Broschur

36.99 €

Medical Food, 1 Audio-CD, MP3 Anthony William

Audio CD

20.00 €

Entkrümmt Stefan Schlager

Broschur

15.89 €

Das Moment der Gefahr als Element der Schadenszurechnung im System des Haftpflichtrechts Thomas Tschaler

Broschur

75.49 €

Historia de la bicicleta de un hombre lagarto FINA CASALDERREY

Broschur

12.29 €

Une Drole De Saint-Valentin! Chloe Lapierre

Broschur

13.39 €

Les religieuses bouddhistes, depuis Sakya-Mouni jusqu'a nos jours Summer-M

Broschur

16.09 €

55 Spiele für den Kindergeburtstag Arno Backhaus

Broschur

8.00 €

Ansatze zur Erklarung des Unterganges von Organisationen Burak Gümüs

Broschur

17.95 €

This book constitutes the refereed proceedings of the 11th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2004, held in Montevideo, Uruguay in March 2005.§The 33 revised full papers presented together with abstracts of 4 invited papers were carefully reviewed and selected from 77 submissions. The papers address all current issues in logic programming, automated reasoning, and AI logics in particular description logics, fuzzy logic, linear logic, multi-modal logic, proof theory, formal verification, protocol verification, constraint logic programming, programming calculi, theorem proving, etc.

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 Logic for Programming, Artificial Intelligence, and Reasoning

Autor Franz Baader, Andrei Voronkov

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2005

Anzahl der Seiten 560

EAN 9783540252368

ISBN 3540252363

Libristo-Code 01560435

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Gewicht 973

Abmessungen 155 x 235 x 36

Kategorie

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

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz

EDV und Informationstechnologie > Betriebssysteme

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