Kniha Extensions of Logic Programming Roy Dyckhoff

Extensions of Logic Programming

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

Autor: Roy Dyckhoff
Jazyk: Angličtina
Vazba: Brožovaná
Vydavatel: Springer, Berlin
Dostupnost: Skladem u dodavatele
Odesíláme za 5-8 dnů
1 147
The papers in this volume are extended versions of presentations at the fourth International Worksho...

Informace o knize

Autor
Jazyk
Angličtina
Vazba
Kniha - Brožovaná
Vydáno
1994
Stránek
368
EAN
9783540580256
ISBN
3540580255
Enbook ID
05274388
Vydavatel
Hmotnost
488
Rozměry
156 x 234 x 19

Kompletní popis

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.

Mohlo by vás zajímat

MUSICAroLina

Daniel William Gunning
664

Becoming

Michelle Obama
474
480

Finding Fraser

K. C. Dyer
308

Photoguide L'Escala

Puig Castellano
171
516

Little Prince

Chris Riddell
538

The Modern Law of Carriers

Everett Pepperrell Wheeler
611

Mapping the Deep

Dawn J. Wright
618

Legacy of Thatcherism

Stephen Farrall
1 055
1 120

Zákaznicí kteří koupili tuto knihu koupili také

Nebe nad Jemenem

Tomáš Šebek
272
1 082
422

LOS ENGREIDOS

WAGENKNECHT
640

GitOps

Oliver Liebel
1 462

Supremacia I

Paula Yanice
210

Análisis capilar

Francisco Javier Mestre Navas
1 165

Black boy

Richard Wright
321
150