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 €

DHL-Kurier 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € Box Now 3.99 € ACS-Stelle 3.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Logic Programming

Name: Logic Programming
Brand: Cambridge University Press
SKU: 02037273
Price: 55.91 EUR
Availability: InStock
Author: Andrews
ISBN: 9780521607544

Operational Semantics and Proof Theory

Andrews

James H. (Simon Fraser University

British Columbia)

Sprache

Englisch

Buch Broschur

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

Libristo-Code: 02037273

137 b

55.91 €

Externes Lager Wir versenden in 10-16 Tagen

Lieferung in Griechenland

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Stregoneria per ragazze ribelli Grady Hendrix

Broschur

27.40 €

Проектирование технологической оснастки. Учебное пособие для СПО, 2-е изд., стер. В.Ю. Блюменштейн

Hardcover

31.80 €

Welch grausame Gnade Chloe Gong

Hardcover

19.20 €

La metamorfosi del comunisme a la Xina XULIO RIOS

Broschur

20.10 €

Buscando a Ala encontrando a Jesus Nabeel Qureshi

Adobe ePub DRM

8.69 €

Räucherstäbchen Auroshikha "Palo Santo" 10g Spiel/Spielzeug

Spielzeug

4.79 €

MOUNT ZION HEAD

Audio CD

15.30 €

El cuerpo de maquinistas de la Armada Española (1850-1950) Vega

Broschur

19.90 €

Personnages secondaires Alejandro Zambra

Broschur

20.90 €

Bescherelle Claude Kannas

Broschur

8.99 €

Désaxé Kepler

Broschur

28.10 €

Dans l'ombre de la ville James Conan

Broschur

26.00 €

Le carnet d'Emile - Blanc, 96p, A5 - Têtes de mort

Terminbuch

9.39 €

Reise zur Deutschen Front Ludwig Ganghofer

Broschur

8.49 €

Krankenpflege Im Hause Und Im Hospitale Theodor Billroth

Broschur

30.90 €

Finanční gramotnost pro druhý stupeň základní školy Petr Jakeš

Broschur

3.69 €

Čarodějův učeň Otfried Preussler

Hardcover

17.40 €

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

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

Autor Andrews, James H. (Simon Fraser University, British Columbia)

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2004

Anzahl der Seiten 120

EAN 9780521607544

ISBN 052160754X

Libristo-Code 02037273

Verlag Cambridge University Press

Gewicht 230

Abmessungen 189 x 246 x 6

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Objektorientierte Programmierung (OOP)

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein

EDV und Informationstechnologie > Informatik > Theoretische Informatik

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