Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

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

Language

English

Book Paperback

Libristo code: 05274388

Publishers Springer, Berlin, November 1993

The papers in this volume are extended versions of presentations at the fourth International Worksho... Full description

Libristo code: 05274388

132 b

53.79 € VAT included

In stock at our supplier Shipping in 5-8 days

Delivery to Austria

Up to 30 days for returns

Customers also purchased

Nebe nad Jemenem Tomáš Šebek

Paperback

11.29 €

ENDODONTISCHE MISSGESCHICKE R. Vinaychandra

Paperback

54.90 €

Dzienniki 1910-1913 Tom 1 Franz Kafka

Hardback

18.59 €

Il libro delle principesse. Con adesivi

Paperback

5.19 €

LOS ENGREIDOS WAGENKNECHT

Book

28.19 €

GitOps Oliver Liebel

Hardback

69.90 €

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

Paperback

42.69 €

Supremacia I Paula Yanice

Paperback

9.79 €

Análisis capilar Francisco Javier Mestre Navas

Paperback

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

Paperback

33.09 €

Black boy Richard Wright

Paperback

14.09 €

Ausweichregeln / Lichterführung Michael Schulze

Poster

6.99 €

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

Paperback

12.39 €

Krise der Familie und ihre Darstellung in der Presse Christiane Lang

Paperback

38.00 €

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

Sheet

13.09 €

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.