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
Väzba: Brožovaná
Vydavateľ: Springer, Berlin
Dostupnosť: Skladom u dodávateľa
Odosielame za 5-8 dní
50.04
The papers in this volume are extended versions of presentations at the fourth International Worksho...

Informácie o knihe

Autor
Jazyk
Angličtina
Väzba
Kniha - Brožovaná
Vydalo
1994
Stránok
368
EAN
9783540580256
ISBN
3540580255
Enbook ID
05274388
Vydavateľ
Hmotnosť
488
Rozmery
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 zaujímať

MUSICAroLina

Daniel William Gunning
27.41

Becoming

Michelle Obama
19.58
19.77

Finding Fraser

K. C. Dyer
12.72

Photoguide L'Escala

Puig Castellano
7.04
21.24

Little Prince

Chris Riddell
28.69

The Modern Law of Carriers

Everett Pepperrell Wheeler
26.83
8.61

Mapping the Deep

Dawn J. Wright
26.83

Legacy of Thatcherism

Stephen Farrall
43.57
48.96

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Nebe nad Jemenem

Tomáš Šebek
12.50
47.39
17.42

LOS ENGREIDOS

WAGENKNECHT
26.43

GitOps

Oliver Liebel
63.85

Supremacia I

Paula Yanice
8.71

Análisis capilar

Francisco Javier Mestre Navas
48.08

Black boy

Richard Wright
13.21
6.55