Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Books Books 1 - 10 of about 45 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 Program Synthesis and Transformation: 6th International ..., Volume 6

John Gallagher - Computers - 1997 - 324 pages
This book constitutes the strictly refereed post-workshop proceedings of the Sixth International Workshop on Logic Program Synthesis and Transformation, LOPSTR'96, held on ...
Limited preview - About this book

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