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

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Logic Programming and Automated Reasoning

Name: Logic Programming and Automated Reasoning
Brand: Springer, Berlin
SKU: 05274269
Price: 53.79 EUR
Availability: InStock
Author: Andrei Voronkov
ISBN: 9783540557272

International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings

Andrei Voronkov

Sprache

Englisch

Buch Broschur

Libristo-Code: 05274269

Verlag Springer, Berlin, November 1991

This volume contains the proceedings of LPAR '92, the international conference on logic programming... Vollständige Beschreibung

Libristo-Code: 05274269

132 b

53.79 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Joomla! 1.7 - Begynder Guide Hagen Graf

Broschur

19.09 €

Les quatre saisons Merrill

Broschur

10.49 €

Abbi coraggio! Britta Teckentrup

Hardcover

21.29 €

L'ISLA DEU TESAUR R. L.

Hardcover

19.49 €

L'anglais juridique YALA

Broschur

16.49 €

Nietzsche. La detresse du present Astor

Broschur

16.49 €

Jonas der kleine Wichtel (Wandkalender 2026 DIN A4 hoch), CALVENDO Monatskalender Calvendo

Kalender

21.99 €

Ted Bundy: Az idegen mellettem Ann Rule

Hardcover

20.19 €

Le Désordre médical et les moyens d'y remédier Jean-Louis Funck-Brentano

Broschur

39.99 €

Rumeurs Anne-Marie Brichau-Magnabosco

Broschur

13.29 €

Raubtier Gemeinde Stockstadt am Rhein

Broschur

11.00 €

Christianopolis Johann Valentin Andreae

Broschur

7.69 €

Bristol UK Aerial Photographs and Tourist Attractions: Aerial Photography Interpretation Llewelyn Pritchard Ma

Broschur

12.59 €

Verfestungsbuch der Stadt Stralsund Francke O. Francke

Broschur

21.90 €

Los cachorros : Mario Vargas Llosa Fernando Rodríguez Mansilla

Broschur

15.09 €

Organisationales Lernen Probst

Broschur

55.29 €

Little Amadeus, Vorspielstücke. Bd.2 Hans-Günter Heumann

Broschur

22.49 €

Inés meines Herzens Isabel Allende

Broschur

11.29 €

This volume contains the proceedings of LPAR '92, the international conference on logic programming and automated reasoning held in St. Petersburg in July 1992. The aim of the conference was to bring together researchers from the Russian and the international logic programming and theorem proving communities. The topics of interest covered by papers inthe volume include automated theorem proving, non-monotonic reasoning, applications of mathematical logic to computer science, deductive databases, implementation of declarative concepts, and programming in non-classical logics. LPAR '92 is the successor of the First and Second Russian Conferences on Logic Programming held in 1990 and 1991, respectively, the proceedings of which were published in LNAI Vol. 592.

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 Programming and Automated Reasoning

Autor Andrei Voronkov

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 1992

Anzahl der Seiten 516

EAN 9783540557272

ISBN 354055727X

Libristo-Code 05274269

Verlag Springer, Berlin

Gewicht 766

Abmessungen 155 x 233 x 27

Kategorie

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

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

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