|
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,663
Discovery Miles 16 630
|
|
|
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.)
Series: Lecture Notes in Computer Science, 883
Expected to ship within 10 - 15 working days
|
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
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
