Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Books Books 1 - 10 of about 43 related to Logic-based Program Synthesis and Transformation.   

Logic Programming in Action: Second International Logic Programming Summer ...

Gerard Comyn, Norbert E. Fuchs, Michael J. Ratcliffe - Business & Economics - 1992 - 324 pages
Logic programming enjoys a privileged position. It is firmly rooted in mathematical logic, yet it is also immensely practical, as a growing number of users in universities ...
Limited preview - About this book

Logic-Based Program Synthesis and Transformation: 8th International Workshop ...

Pierre Flener - Computers - 2003 - 338 pages
This book presents the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR'98 held in ...
Limited preview - About this book

Logic-Based Program Synthesis and Transformation: 9th International Workshop ...

Annalisa Bossi - Computers - 2006 - 312 pages
This volume contains the proceedings of the ninth international workshop on logic-based program synthesis and transformation (LOPSTR’99) which was held in Venice (Italy ...
Limited preview - About this book

Logic Based Program Synthesis and Transformation: 12th International ...

M. Leuschel - Computers - 2003 - 279 pages
The thoroughly refereed post-proceedings of the 12th International Workshop on Logic Based Program Synthesis and Transformation, LOPSTR 2002, held in Madrid, Spain in September ...
Limited preview - About this book

Logic Program Synthesis and Transformation: 5th International ..., Volume 5

Maurizio Proietti - Computers - 1996 - 266 pages
This book constitutes the refereed proceedings of the 5th International Workshop on Logic Program Synthesis and Transformation, LOPSTR'95, held in Utrecht, The Netherlands in ...
Limited preview - About this book

Logic-Based Program Synthesis and Transformation: 24th International ...

Maurizio Proietti, Hirohisa Seki - Computers - 2015 - 333 pages
This book constitutes the thoroughly refereed post-conference proceedings of the 24th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2014 ...
Limited preview - About this book




  1. My library
  2. Help
  3. Advanced Book Search