Kniha Logic Program Synthesis and Transformation - Meta-Programming in Logic Laurent Fribourg

Logic Program Synthesis and Transformation - Meta-Programming in Logic

4th International Workshop, LOPSTR '94 and META '94, Pisa, Italy, June 20-21, 1994. Proceedings

Jazyk: Angličtina
Väzba: Brožovaná
Vydavateľ: Springer, Berlin
Dostupnosť: Skladom u dodávateľa
Odosielame za 5-8 dní
50.19
This volume constitutes the combined proceedings of the 4th International Workshops on Logic Program...

Informácie o knihe

Jazyk
Angličtina
Väzba
Kniha - Brožovaná
Vydalo
2000
Stránok
458
EAN
9783540587927
ISBN
3540587926
Enbook ID
05274447
Vydavateľ
Hmotnosť
602
Rozmery
156 x 234 x 23

Kompletný popis

This volume constitutes the combined proceedings of the 4th International Workshops on Logic Program Synthesis and Transformation (LOPSTR '94) and on Meta-Programming (META '94), held jointly in Pisa, Italy in June 1994.This book includes thoroughly revised versions of the best papers presented at both workshops. The main topics addressed by the META papers are language extensions in support of meta-logic, semantics of meta-logic, implementation of meta-logic features, performance of meta-logic, and several applicational aspects. The LOPSTR papers are devoted to unfolding/folding, partial deduction, proofs as programs, inductive logic programming, automated program verification, specification and programming methodologies.

Mohlo by vás zaujímať

46.56

Lipid Oxidation

Amy S. Logan
240.49

Naked Truth

J R Farrell
21.11
6.18

Walk London

Gill Knappett
9.72

Man-Eater

Ryan Green
11.19
5.69

Last Human

Lee Bacon
11.19

The Atrium

Solitaire Parke
16.20
34.87
15.61
13.06

Journey Back

Houston A. Baker
33.20

Not on This Board You Don't

Arthur C. Frantzreb
34.47

Numerical Analysis

Richard L Burden
125.35

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

24.36
22.29

Sadistova bible

Nicole Cushing
8.18

Kopfschmerztagebuch

Sebastian Lange
5.49
3.82

El selfie del mundo

MARCO D'ERAMO
28.97
23.86
59.92
9.72

Hombre luna

Tomi Ungerer
16.69

Bewußtheit durch Bewegung

Moshé Feldenkrais
10.60
47.54