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

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

4th International Conference, LPAR '93, St. Petersburg, Russia, July 13-20, 1993. Proceedings

Andrei Voronkov

Sprache

Englisch

Buch Broschur

Libristo-Code: 05274323

Verlag Springer, Berlin, November 1992

LPAR is an international conference series aimed at bringing together researchers interested in logi... Vollständige Beschreibung

Libristo-Code: 05274323

132 b

53.79 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Mortalidad Por Suicidio En La Región de Las Américas: Informe Regional 2010-2014 Pan American Health Organization

Broschur

40.69 €

Elmar und seine Freunde, Deutsch-Englisch. Elmer's Friends David McKee

Leporello

9.29 €

Microblogging En La Educacion Lenis Querales

Broschur

27.19 €

Prosa. Tl.1 Paul Celan

Hardcover

98.00 €

Sedmý závoj - Listy z jednoho století František R. Kraus

Hardcover

7.39 €

Kondolenzbuch Premium "Wir nehmen Abschied" Anna Piok

Hardcover

19.99 €

Gay: Saliendose y viniendose Kathleen Hope

Adobe ePub DRM

4.89 €

Les Arcana Arcanorum et les rites maçonniques égyptiens de Memphis et Misraïm Karol

Hardcover

31.99 €

Noches de uvas que han fermentado Jaime Cesar

Broschur

6.99 €

Traktory i kombajny Krzysztof Kozera

Broschur

5.39 €

Svenska-Ungerska Verktyg/Szerszámok Barns tv?spr?kiga bildordbok Suzanne Carlson

Broschur

12.59 €

Espa?ol - Marathi: Escritura & Colorear Alfabeto Libros Educación Infantiles: Spanish Marathi Practicar alfabeto ABC letras con dibujos a Emilly Lima

Broschur

10.69 €

Commander (Buch III) Heino Caesar

Broschur

39.00 €

Gedichtinterpretationen gestalten lernen - mit Naturlyrik Johannes G Klinkmuller

Broschur

24.99 €

Schweizer Jahrbuch fuer Musikwissenschaft- Annales Suisses de Musicologie- Annuario Svizzero di Musicologia Joseph Willimann

Broschur

80.19 €

LPAR is an international conference series aimed at bringing together researchers interested in logic programming and automated reasoning. The research in logic programming grew out of the research in automated reasoning in the early1970s. Later, the implementation techniques known from logic programming were used in implementing theorem proving systems. Results from both fields applied to deductive databases. This volume contains the proceedings of LPAR '93, which was organized by the Russian Association for Logic Programming. The volume contains 35 contributed papers selected from 84 submissions, together with an invited paper by Peter Wegner entitled "Reasoning versus modeling in computer science".

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 1993

Anzahl der Seiten 394

EAN 9783540569442

ISBN 3540569448

Libristo-Code 05274323

Verlag Springer, Berlin

Gewicht 533

Abmessungen 155 x 233 x 21

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