LIBRISTO
LIBROAMANTO
obligatorisch
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.49

Sehr geehrte Kunden, aufgrund des Feiertages ist der Kundensupport heute nicht verfügbar. Ihre Anfragen werden am folgenden Arbeitstag bearbeitet. Wir danken Ihnen für Ihr Verständnis.

Logic Programming

Operational Semantics and Proof Theory

Sprache EnglischEnglisch
Buch Broschur
Buch Logic Programming Andrews
Libristo-Code: 02037273
Verlag Cambridge University Press, August 2004
Dr Andrews here provides a homogeneous treatment of the semantics (operational and logical) of both... Vollständige Beschreibung
? points 137 b
55.89 inkl. MwSt.
Externes Lager Wir versenden in 9-15 Tagen

30 Tage für die Rückgabe der Ware


Kunden kauften auch


Dr Andrews here provides a homogeneous treatment of the semantics (operational and logical) of both theoretical and practical logic programming languages. He shows how the rift between theory and practice in logic programming can be bridged. This is achieved by precisely characterizing the way in which 'depth-first' search for solutions to a logical formula - the usual strategy in most practical languages - is incomplete. Languages that perform 'breadth-first' searches reflect more closely the theory underlying logic programming languages. Researchers interested in logic programming or semantics, as well as artificial intelligence search strategies, will want to consult this book as the only source for some essential and new ideas in the area.

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
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2004
Anzahl der Seiten 120
EAN 9780521607544
ISBN 052160754X
Libristo-Code 02037273
Gewicht 230
Abmessungen 189 x 246 x 6
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


Hydrometallurgical Process Fundamentals Renato G. Bautista / Buch Broschur
common.buy 214.29
Contraband Stuart Woods / Audio Audio CD
common.buy 35.69
Death By Shakespeare Kathryn Harkup / Buch Hardcover
common.buy 21.79
Salem's Lot Tobe Hooper / Video DVD
common.buy 10.29
Unity 2018 Shaders and Effects Cookbook Alan Zucconi / Buch Broschur
common.buy 58.29
Second Chance James V Lolatte / Buch Broschur
common.buy 9.09
An Abridgement of Lectures on Rhetoric Hugh Blair / Buch Broschur
common.buy 23.89
Secrets to Survival Angela Morrison / Buch Broschur
common.buy 12.69
Tinctures and Tantrums Laurie Campbell / Buch Broschur
common.buy 28.69
Pro HTML5 Programming Lubbers / Buch Broschur
common.buy 55.19
Pro HTML5 and CSS3 Design Patterns Michael Bowers / Buch Broschur
common.buy 47.39
Top
Design Patterns Erich Gamma / Buch Hardcover
common.buy 50.89
JavaScript & jQuery: The Missing Manual 3e David McFarland / Buch Broschur
common.buy 47.39
Patient and Decentralized Testing J.P. Ashby / Buch Broschur
common.buy 53.79
Biopsychosocial Approaches in Primary Care Hoyle Leigh / Buch Broschur
common.buy 113.19
Elie Wiesel Steven T Katz / Buch Hardcover
common.buy 29.49
Mistakes We Never Made Brown / Buch Hardcover
common.buy 23.49

Anmeldung

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

 
obligatorisch
obligatorisch

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