Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €
phone Kontakt phoneWie einkaufen

Logic Programming and Automated Reasoning

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

Sprache EnglischEnglisch
Buch Broschur
Buch Logic Programming and Automated Reasoning Andrei Voronkov
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
? points 118 b
48.29 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Mellan raderna Bengtsson / Hörbuch MP3
common.buy 5.29 €
Sedmý závoj - Listy z jednoho století František R. Kraus / Buch Hardcover
common.buy 10.49 €
Kondolenzbuch Premium "Wir nehmen Abschied" Anna Piok / Buch Hardcover
common.buy 19.99 €
El Burro y el Caballo CARMEN ALONSO BADIA / Buch Hardcover
common.buy 17.09 €
Gay: Saliendose y viniendose Kathleen Hope / E-Book Adobe ePub DRM
common.buy 3.99 €
Klíč k Chíramovi Christopher Knight / Buch Hardcover
common.buy 12.29 €
Demnächst Neu
Genitalflüssigkeiten und Geschlecht Ell Rutkat / Buch Broschur
common.buy 48.00 €
Les Arcana Arcanorum et les rites maçonniques égyptiens de Memphis et Misraïm Karol / Buch Hardcover
common.buy 25.89 €
Noches de uvas que han fermentado Jaime Cesar / Buch Broschur
common.buy 5.99 €
Mortalidad Por Suicidio En La Región de Las Américas: Informe Regional 2010-2014 Pan American Health Organization / Buch Broschur
common.buy 36.39 €
Svenska-Ungerska Verktyg/Szerszámok Barns tv?spr?kiga bildordbok Suzanne Carlson / Buch Broschur
common.buy 12.59 €
Espa?ol - Marathi: Escritura & Colorear Alfabeto Libros Educación Infantiles: Spanish Marathi Practicar alfabeto ABC letras con dibujos a Emilly Lima / Buch Broschur
common.buy 10.69 €
Schweizer Jahrbuch fuer Musikwissenschaft- Annales Suisses de Musicologie- Annuario Svizzero di Musicologia Joseph Willimann / Buch Broschur
common.buy 72.19 €
Microblogging En La Educacion Lenis Querales / Buch Broschur
common.buy 24.19 €
Elmar und seine Freunde, Deutsch-Englisch. Elmer's Friends David McKee / Buch Leporello
common.buy 7.99 €
Commander (Buch III) Heino Caesar / Buch Broschur
common.buy 39.00 €
Prosa. Tl.1 Paul Celan / Buch Hardcover
common.buy 98.00 €
Gedichtinterpretationen gestalten lernen - mit Naturlyrik Johannes G Klinkmuller / Buch Broschur
common.buy 27.89 €

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
Ewa Kasp
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

Das könnte Sie auch interessieren

Short-cut Demand Elasticities and Other Convenient Approaches to Consumer Demand Kenneth W. Clements / Buch Hardcover
common.buy 125.09 €
Cambridge International AS Level History Modern Europe 1774-1924 Coursebook with Digital Access (2 Years) Patrick Walsh-Atkins / Buch Broschur
common.buy 34.99 €
Mentoria Ann Murry / Buch Hardcover
common.buy 37.09 €
Present State of Music in France and Italy Charles Burney / Buch Broschur
common.buy 27.29 €
Hepatitis C Paul J. Thuluvath / Buch Broschur
common.buy 14.69 €
Information and Decision in Behavioral Economics Adam Biela / Buch Hardcover
common.buy 54.39 €
Going the Distance: Dissident Subjectivity in Modernist American Literature David R. Jarraway / Buch Broschur
common.buy 29.49 €
Polishes and Stains for Woods David Denning / Buch Broschur
common.buy 22.99 €
History of the Rise, Progress, and Accomplishment of the Abolition of the African Slave-Trade by the British Parliament Thomas Clarkson / Buch Broschur
common.buy 60.29 €
Recent Advances in Computer Science and Information Engineering Lei Cao / Buch Broschur
common.buy 192.29 €
The Ninth Floor Liz Schulte / Buch Broschur
common.buy 11.69 €
Liverpool Travel Guide: Sightseeing, Hotel, Restaurant & Shopping Highlights Angela Woodward / Buch Broschur
common.buy 10.89 €
Bones being Further Adventures in Mr. Commissioner Sanders' Country Edagar Wallace / Buch Broschur
common.buy 8.69 €
Neck and Arm Pain Syndromes E-Book Cesar Fernandez-de-las-Penas / E-Book Adobe ePub DRM
common.buy 64.89 €
The Essential Guide to the Loch Ness Monster & Other Aquatic Cryptids Ken Gerhard / Buch Broschur
common.buy 20.09 €
99 Tricks and Traps for Oracle Primavera P6 PPM Professional Updated for Version 21 Paul E Harris / Buch Broschur
common.buy 42.49 €
Noise in Semiconductor Devices Fabrizio Bonani / Buch Hardcover
common.buy 144.29 €
Lost City of the Incas Hiram Bingham / Buch Broschur
common.buy 13.59 €
Demnächst
Antarctica David Walton / Buch Hardcover
common.buy 61.69 €
Singular Elliptic Problems Marius Ghergu / Buch Hardcover
common.buy 142.09 €
Sources in European Political History Chris Cook / Buch Hardcover
common.buy 160.29 €
Surgical Management of Nasal Obstruction: Rhinologic Perspective, An Issue of Otolaryngologic Clinics Samuel S. Becker / Buch Hardcover
common.buy 79.69 €
Russia's Unknown Agriculture Judith Pallot / Buch Hardcover
common.buy 148.49 €
Telling without Talking Barry M. Cohen / Buch Hardcover
common.buy 44.69 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?