Home
Antiques & Collectibles
General
Logic Program Synthesis and Transformation : Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2-3 July 1992 by Kung-Kiu Lau - Paperback

Logic Program Synthesis and Transformation : Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2-3 July 1992 by Kung-Kiu Lau - Paperback

AED303.69

(0) Write a Review

SKU:: 9783540198062
UPC:: 9783540198062

Current Stock:

Product Description

ISBN: 9783540198062
TITLE: Logic Program Synthesis and Transformation : Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2-3 July 1992
AUTHOR: Kung-Kiu Lau
PUBLISHER: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
PUBLISHER DATE: 29 Jan 1993

Other Details

ISBN:

9783540198062

Author:

Kung-Kiu Lau

Publisher:

Springer-Verlag Berlin and Heidelberg GmbH & Co. K

Publisher Date:

Published:29 Jan 1993

Book Format:

Paperback

Categories

Quick Links

Selected Currency: AED

Logic Program Synthesis and Transformation : Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2-3 July 1992 by Kung-Kiu Lau - Paperback

Product Description

Other Details

Logic Program Synthesis and Transformation : Proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 4-5 July 1991 by Timothy P. Clement - Paperback

Logic Based Program Synthesis and Transformation : 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers : 2042 by Kung-Kiu Lau - Paperback

Logic Program Synthesis and Transformation : Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7-9 July 1993 by Yves Deville - Paperback

Logic Program Synthesis and Transformation - Meta-Programming in Logic : 4th International Workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20 - 21, 1994. Proceedings : 883 by Laurent Fribourg - Paperback

Logic Program Synthesis and Transformation : 7th International Workshop, LOPSTR '97, Leuven, Belgium, July 10-12, 1997 Proceedings : 1463 by Norbert E. Fuchs - Paperback

Logic Program Synthesis and Transformation : Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2-3 July 1992 by Kung-Kiu Lau - Paperback

Write a Review

Logic Program Synthesis and Transformation : Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2-3 July 1992 by Kung-Kiu Lau - Paperback

Add to Wishlist

Product Description

Other Details

Related Products

Logic Program Synthesis and Transformation : Proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 4-5 July 1991 by Timothy P. Clement - Paperback

Logic Based Program Synthesis and Transformation : 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers : 2042 by Kung-Kiu Lau - Paperback

Logic Program Synthesis and Transformation : Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7-9 July 1993 by Yves Deville - Paperback

Logic Program Synthesis and Transformation - Meta-Programming in Logic : 4th International Workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20 - 21, 1994. Proceedings : 883 by Laurent Fribourg - Paperback

Logic Program Synthesis and Transformation : 7th International Workshop, LOPSTR '97, Leuven, Belgium, July 10-12, 1997 Proceedings : 1463 by Norbert E. Fuchs - Paperback