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.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Extensions of Logic Programming

Name: Extensions of Logic Programming
Brand: Springer, Berlin
SKU: 05274388
Price: 53.79 EUR
Availability: InStock
Author: Roy Dyckhoff
ISBN: 9783540580256

4th International Workshop, ELP '93, St. Andrews, U. K., March 29 - April 1, 1993. Proceedings

Roy Dyckhoff

Sprache

Englisch

Buch Broschur

Libristo-Code: 05274388

Verlag Springer, Berlin, November 1993

The papers in this volume are extended versions of presentations at the fourth International Worksho... Vollständige Beschreibung

Libristo-Code: 05274388

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

Nebe nad Jemenem Tomáš Šebek

Broschur

11.99 €

ENDODONTISCHE MISSGESCHICKE R. Vinaychandra

Broschur

54.90 €

Dzienniki 1910-1913 Tom 1 Franz Kafka

Hardcover

19.49 €

Il libro delle principesse. Con adesivi

Broschur

5.19 €

LOS ENGREIDOS WAGENKNECHT

Buch

36.99 €

GitOps Oliver Liebel

Hardcover

69.90 €

Haïm Nahman Bialik : la prière égarée Bendavid

Broschur

42.69 €

Supremacia I Paula Yanice

Broschur

9.79 €

Análisis capilar Francisco Javier Mestre Navas

Broschur

50.99 €

Ich würd' dich gerne wieder siezen Katrin Weber

Audio CD

17.95 €

Die europäische Handelspolitik in GATT/WTO Florian Lütticken

Broschur

33.09 €

Black boy Richard Wright

Broschur

14.09 €

Ausweichregeln / Lichterführung Michael Schulze

Plakat

8.29 €

Die Schule der Frauen. Kritik der 'Schule der Frauen'. Die Schule der Ehemänner Moliere

Broschur

12.39 €

Krise der Familie und ihre Darstellung in der Presse Christiane Lang

Broschur

38.00 €

Propaganda, symbolika a rituály protestantské Evropy (1580-1650) Jaroslav Miller

Blatt

13.39 €

The papers in this volume are extended versions of presentations at the fourth International Workshop on Extensions of Logic Programming, held at the University of St Andrews, March/April 1993. Among the topics covered in the volume are: defintional reflection and completion, modules in lambda-Prolog, representation of logics as partial inductive definitions, non-procedural logic programming, knowledge representation, contradiction avoidance, disjunctive databases, strong negation, linear logic programming, proof theory and regular search spaces, finite sets and constraint logic programming, search-space pruning and universal algebra, and implementation on transputer networks.

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 Extensions of Logic Programming

Autor Roy Dyckhoff

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 1994

Anzahl der Seiten 368

EAN 9783540580256

ISBN 3540580255

Libristo-Code 05274388

Verlag Springer, Berlin

Gewicht 488

Abmessungen 156 x 234 x 19

Kategorie

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

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

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz

EDV und Informationstechnologie > Betriebssysteme

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