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: 01555913
Price: 52.69 EUR
Availability: InStock
Author: Matthias Baaz
ISBN: 9783540000105

9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings

Matthias Baaz

Andrei Voronkov

Sprache

Englisch

Buch Broschur

Libristo-Code: 01555913

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Oktober 2002

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

Libristo-Code: 01555913

129 b

52.69 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Leto tvojej nehy Juraj Kalnický

Hardcover

3.49 €

Egal was sich auch ändert, das Herz bleibt genau dasselbe Berman Vered

Hardcover

16.00 €

Gold & Rainbows-The Warner Bros Years 1969-1978 Seals and Crofts

Audio CD

65.49 €

LES COQUILLAGES ET CE QU'ILS CACHENT Helen SCALES

Buch

17.69 €

Knooking – pletení na háčku. Základní postupy krok za krokem Veronika Hugová

Broschur

9.59 €

CONTRE-NOIR MATTHIEU PECK

Broschur

25.99 €

Die Silbermeer-Saga (Band 2) - Die Fließende Karte Katharina Hartwell

Hardcover

21.95 €

Mezi vilami Justin Quinn

Hardcover

11.19 €

Bachiben Ane Babubhai Amricama: Gujarati Hasya Navalakathaa Kirit Bhakta

Broschur

11.59 €

Promenades A Chamouni Lutz-M

Broschur

15.09 €

Karma Tolstói

Broschur

12.59 €

Etudes de la Nature. Tome 3 Henri Bernardin De Saint-Pierre

Broschur

34.29 €

This book constitutes the refereed proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2002, held in Tbilisi, Georgia in October 2002.The 30 revised full papers presented were carefully reviewed and selected from 68 submissions. Among the topics covered are constraint programming, formal software enginering, formal verification, resolution, unification, proof planning, agent splitting, binary decision diagrams, binding, linear logic, Isabelle theorem prover, guided reduction, 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 Matthias Baaz, Andrei Voronkov

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2002

Anzahl der Seiten 470

EAN 9783540000105

ISBN 3540000100

Libristo-Code 01555913

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

Gewicht 1490

Abmessungen 155 x 235 x 27

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