Książka 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
Język: Angielski
Oprawa: Miękka
Wydawca: Springer, Berlin
Dostępność: Dostępna u dostawcy
Wysyłamy za 5-8 dni
213.09
The papers in this volume are extended versions of presentations at the fourth International Worksho...

Informacje o książce

Autor
Język
Angielski
Oprawa
Książka - Miękka
Data wydania
1994
strony
368
EAN
9783540580256
ISBN
3540580255
Enbook ID
05274388
Waga
488
Wymiary
156 x 234 x 19

Pełny opis

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.

Możesz być zainteresowany

MUSICAroLina

Daniel William Gunning
122.76

Becoming

Michelle Obama
83.40
84.37

Finding Fraser

K. C. Dyer
57.91

Photoguide L'Escala

Puig Castellano
29.97
95.31

Little Prince

Chris Riddell
109.28

The Modern Law of Carriers

Everett Pepperrell Wheeler
114.16
36.81

Mapping the Deep

Dawn J. Wright
108.59

Legacy of Thatcherism

Stephen Farrall
193.27
208.50

Klienci, którzy kupili tę książkę, kupili również

Nebe nad Jemenem

Tomáš Šebek
47.07
201.96
63.08

LOS ENGREIDOS

WAGENKNECHT
154.40

GitOps

Oliver Liebel
272.08

Supremacia I

Paula Yanice
38.86

Análisis capilar

Francisco Javier Mestre Navas
204.70
131.45

Black boy

Richard Wright
56.44
33.20