Logic Program Synthesis and Transformation - Meta-Programming in Logic

Name: Logic Program Synthesis and Transformation - Meta-Programming in Logic
Brand: Springer, Berlin
SKU: 9783540587927
Price: 19327 HUF
Availability: InStock

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

Szerző: Laurent Fribourg, Franco Turini

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer, Berlin

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

19 327 Ft

This volume constitutes the combined proceedings of the 4th International Workshops on Logic Program...

Információk a könyvről

Szerző

Laurent Fribourg, Franco Turini

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2000

oldal

458

EAN

9783540587927

ISBN

3540587926

Enbook ID

05274447

Kiadó

Springer, Berlin

Súly

602

Méretek

156 x 234 x 23

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Logic Program Synthesis and Transformation - Meta-Programming in Logic

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

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták