Welcome to Loot.co.za! Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search

Checkout
- Your Cart Price

Your cart

Your cart is empty

Books > Computing & IT > Computer programming > Programming languages

Buy Now

Logic Program Synthesis and Transformation - Meta-Programming in Logic - 4th International Workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20 - 21, 1994. Proceedings (Paperback, 1994 ed.) Loot Price: R1,715

Discovery Miles 17 150

Repayment Terms: R161 pm x 12*

Add to cart

Logic Program Synthesis and Transformation - Meta-Programming in Logic - 4th International Workshops, LOPSTR '94 and META...

Logic Program Synthesis and Transformation - Meta-Programming in Logic - 4th International Workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20 - 21, 1994. Proceedings (Paperback, 1994 ed.)

Laurent Fribourg, Franco Turini

Series: Lecture Notes in Computer Science, 883

(sign in to rate)

Loot Price R1,715 Discovery Miles 17 150 | Repayment Terms: R161 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

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.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Lecture Notes in Computer Science, 883
Release date:	November 1994
First published:	1994
Editors:	Laurent Fribourg • Franco Turini
Dimensions:	235 x 155 x 23mm (L x W x T)
Format:	Paperback
Pages:	458
Edition:	1994 ed.
ISBN-13:	978-3-540-58792-7
Categories:	Books > Computing & IT > Computer programming > Programming languages > General Promotions
LSN:	3-540-58792-6
Barcode:	9783540587927