Home
Antiques & Collectibles
Logic Program Synthesis and Transformation : 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995. Proceedings : 1048 by Maurizio Proietti - Paperback

Logic Program Synthesis and Transformation : 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995. Proceedings : 1048 by Maurizio Proietti - Paperback

AED303.69

(0) Write a Review

SKU:: 9783540609391
UPC:: 9783540609391

Current Stock:

Product Description

ISBN: 9783540609391
TITLE: Logic Program Synthesis and Transformation : 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995. Proceedings : 1048
AUTHOR: Maurizio Proietti
PUBLISHER: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
PUBLISHER DATE: 6 Mar 1996

Other Details

ISBN:

9783540609391

Author:

Maurizio Proietti

Publisher:

Springer-Verlag Berlin and Heidelberg GmbH & Co. K

Publisher Date:

Published:6 Mar 1996

Book Format:

Paperback

Categories

Quick Links

Selected Currency: AED

Logic Program Synthesis and Transformation : 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995. Proceedings : 1048 by Maurizio Proietti - Paperback

Product Description

Other Details

Logic-Based Program Synthesis and Transformation : 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers : 8981 by Maurizio Proietti - Paperback

Programming Languages: Implementations, Logics and Programs : 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Proceedings : 982 by Manuel Hermenegildo - Paperback

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 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 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 : 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995. Proceedings : 1048 by Maurizio Proietti - Paperback

Write a Review

Logic Program Synthesis and Transformation : 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995. Proceedings : 1048 by Maurizio Proietti - Paperback

Add to Wishlist

Product Description

Other Details

Related Products

Logic-Based Program Synthesis and Transformation : 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers : 8981 by Maurizio Proietti - Paperback

Programming Languages: Implementations, Logics and Programs : 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Proceedings : 982 by Manuel Hermenegildo - Paperback

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 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 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7-9 July 1993 by Yves Deville - Paperback