Home
Antiques & Collectibles
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 : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers by Hermenegildo Manuel V Hermenegildo - Paperback

AED620.00

(0) Write a Review

SKU:: 9783319631400
UPC:: 9783319631400

Product Description

ISBN: 9783319631400
TITLE: Logic-Based Program Synthesis and Transformation : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers
AUTHOR: Hermenegildo Manuel V Hermenegildo
PUBLISHER: Springer Nature B.V.
PUBLISHER DATE: 28 Jul 2017

Other Details

ISBN:

9783319631400

Author:

Hermenegildo Manuel V Hermenegildo

Publisher:

Springer Nature B.V.

Publisher Date:

Published:28 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 by Hermenegildo 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 : 10184 by 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

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

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 : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers by Hermenegildo 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 by Hermenegildo 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 : 10184 by 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

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

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