LIBRISTO
LIBROAMANTO
mandatory
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
0
DPD courier 4.99 GLS courier 9.99

Extensions of Logic Programming

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

Language EnglishEnglish
Book Paperback
Book Extensions of Logic Programming Roy Dyckhoff
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
? points 125 b
51.56
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns


Customers also purchased


Nebe nad Jemenem Tomáš Šebek / Book Paperback
common.buy 11.39
ENDODONTISCHE MISSGESCHICKE R. Vinaychandra / Book Paperback
common.buy 48.84
Dzienniki 1910-1913 Tom 1 Franz Kafka / Book Hardback
common.buy 16.84
LOS ENGREIDOS WAGENKNECHT / Book Book
common.buy 27.14
GitOps Oliver Liebel / Book Hardback
common.buy 65.80
Supremacia I Paula Yanice / Book Paperback
common.buy 9.38
Análisis capilar Francisco Javier Mestre Navas / Book Paperback
common.buy 49.44
Ich würd' dich gerne wieder siezen Katrin Weber / Audio Audio CD
common.buy 15.13
Die europäische Handelspolitik in GATT/WTO Florian Lütticken / Book Paperback
common.buy 31.78
Black boy Richard Wright / Book Paperback
common.buy 13.72
Ausweichregeln / Lichterführung Michael Schulze / Printed items Poster
common.buy 6.65

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in


MUSICAroLina Daniel William Gunning / Book Hardback
common.buy 29.66
Becoming Michelle Obama / Audio Audio CD
common.buy 20.18
That They Might Lovely be David Matthews / Book Paperback
common.buy 20.18
Finding Fraser K. C. Dyer / Book Paperback
common.buy 14.02
Photoguide L'Escala Puig Castellano / Book Paperback
common.buy 7.26
Local Anesthesia in Dentistry .. Guido B. 1877 Fischer / Book Paperback
common.buy 23.00
Little Prince Chris Riddell / Book Hardback
common.buy 26.43
The Modern Law of Carriers Everett Pepperrell Wheeler / Book Paperback
common.buy 27.64
Slocum and the Teamster Lady Jake Logan / Book Paperback
common.buy 8.87
Album of Young Architects and Landscape Designers Alice Bialestowski / Book Paperback
common.buy 32.59
Mapping the Deep Dawn J. Wright / Book Paperback
common.buy 29.06
Legacy of Thatcherism Stephen Farrall / Book Paperback
common.buy 46.72
Violence of Petro-Dollar Regimes Luis Martinez / Book Hardback
common.buy 45.61
First Person and Other Stories Ali Smith / Book Paperback
common.buy 11.80

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account