Home
Antiques & Collectibles
Logic Based Program Synthesis and Transformation : 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers : 2372 by Alberto Pettorossi - Paperback

Logic Based Program Synthesis and Transformation : 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers : 2372 by Alberto Pettorossi - Paperback

AED303.69

(0) Write a Review

SKU:: 9783540439158
UPC:: 9783540439158

Current Stock:

Product Description

ISBN: 9783540439158
TITLE: Logic Based Program Synthesis and Transformation : 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers : 2372
AUTHOR: Alberto Pettorossi
PUBLISHER: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
PUBLISHER DATE: 17 Jul 2002

Other Details

ISBN:

9783540439158

Author:

Alberto Pettorossi

Publisher:

Springer-Verlag Berlin and Heidelberg GmbH & Co. K

Publisher Date:

Published:17 Jul 2002

Book Format:

Paperback

Categories

Quick Links

Selected Currency: AED

Logic Based Program Synthesis and Transformation : 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers : 2372 by Alberto Pettorossi - Paperback

Product Description

Other Details

Logic Programming : 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001. Proceedings : 2237 by Philippe Codognet - Paperback

Logic-Based Program Synthesis and Transformation : 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 Selected Papers : 1817 by Annalisa Bossi - Paperback

Logic-Based Program Synthesis and Transformation : 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers : 1559 by Pierre Flener - 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 Based Program Synthesis and Transformation : 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected Papers : 2664 by M. Leuschel - Paperback

Logic Based Program Synthesis and Transformation : 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers : 2372 by Alberto Pettorossi - Paperback

Write a Review

Logic Based Program Synthesis and Transformation : 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers : 2372 by Alberto Pettorossi - Paperback

Add to Wishlist

Product Description

Other Details

Related Products

Logic Programming : 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001. Proceedings : 2237 by Philippe Codognet - Paperback

Logic-Based Program Synthesis and Transformation : 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 Selected Papers : 1817 by Annalisa Bossi - Paperback

Logic-Based Program Synthesis and Transformation : 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers : 1559 by Pierre Flener - 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 Based Program Synthesis and Transformation : 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected Papers : 2664 by M. Leuschel - Paperback