Home
Antiques & Collectibles
Logic-Based Program Synthesis and Transformation : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6???8, 2016, Revised Selected Papers : 10184 by Manuel V Hermenegildo - Paperback

Logic-Based Program Synthesis and Transformation : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6???8, 2016, Revised Selected Papers : 10184 by Manuel V Hermenegildo - Paperback

AED303.69

(0) Write a Review

SKU:: 9783319631387
UPC:: 9783319631387

Product Description

ISBN: 9783319631387
TITLE: Logic-Based Program Synthesis and Transformation : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6???8, 2016, Revised Selected Papers : 10184
AUTHOR: Manuel V Hermenegildo
PUBLISHER: Springer International Publishing AG
PUBLISHER DATE: 25 Jul 2017

Other Details

ISBN:

9783319631387

Author:

Manuel V Hermenegildo

Publisher:

Springer International Publishing AG

Publisher Date:

Published:25 Jul 2017

Book Format:

Paperback

Categories

Quick Links

Selected Currency: AED

Logic-Based Program Synthesis and Transformation : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6???8, 2016, Revised Selected Papers : 10184 by Manuel V Hermenegildo - Paperback

Product Description

Other Details

Logic-Based Program Synthesis and Transformation : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers by Hermenegildo Manuel V Hermenegildo - Paperback

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

Logic Based Program Synthesis and Transformation : 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers : 3901 by Patricia M. Hill - Paperback

Inductive Logic Programming : 26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised Selected Papers : 10326 by James Cussens - Paperback

Logic-Based Program Synthesis and Transformation : 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers : 7844 by Elvira Albert - Paperback

Logic-Based Program Synthesis and Transformation : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6???8, 2016, Revised Selected Papers : 10184 by Manuel V Hermenegildo - Paperback

Write a Review

Logic-Based Program Synthesis and Transformation : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6???8, 2016, Revised Selected Papers : 10184 by Manuel V Hermenegildo - Paperback

Add to Wishlist

Product Description

Other Details

Related Products

Logic-Based Program Synthesis and Transformation : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers by Hermenegildo Manuel V Hermenegildo - Paperback

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

Logic Based Program Synthesis and Transformation : 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers : 3901 by Patricia M. Hill - Paperback

Inductive Logic Programming : 26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised Selected Papers : 10326 by James Cussens - Paperback

Logic-Based Program Synthesis and Transformation : 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers : 7844 by Elvira Albert - Paperback