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: 212.91 PLN
Availability: InStock

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

Autor: Laurent Fribourg, Franco Turini

Język:

Oprawa: Miękka

Wydawca: Springer, Berlin

Dostępność: Dostępna u dostawcy

Wysyłamy za 5-8 dni

212.91 zł

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

Informacje o książce

Autor

Laurent Fribourg, Franco Turini

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

2000

strony

458

EAN

9783540587927

ISBN

3540587926

Enbook ID

05274447

Wydawca

Springer, Berlin

Waga

602

Wymiary

156 x 234 x 23

Pełny opis

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.

Możesz być zainteresowany

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

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Logic Program Synthesis and Transformation - Meta-Programming in Logic

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

Informacje o książce

Pełny opis

Możesz być zainteresowany

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