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.    Take our survey New!

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: 9th International Workshop ...

Annalisa Bossi - Computers - 2000 - 313 pages
This book constitutes the thoroughly refereed post-proceedings of the 9th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR'99, held in Venice ...
Snippet view - About this book

Logic Based Program Synthesis and Transformation: 11th ..., Volume 11

Alberto Pettorossi - Computers - 2002 - 265 pages
This book presents recent advances in the field of nanoscale characterization of ferroelectric materials using scanning probe microscopy (SPM). It addresses various imaging ...
Limited preview - About this book

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

John P. Gallagher, 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

Logic Based Program Synthesis and Transformation: 10th ..., Volume 10

Kung-Kiu Lau - Computers - 2001 - 181 pages
ThisvolumecontainsselectedpapersofLOPSTR2000,theTenthInternational 1 WorkshoponLogic-basedProgramSynthesisandTransformation. Inadep- turefrompreviousyears ...
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: 16th International ...

Germán Puebla - Computers - 2007 - 235 pages
This book constitutes the thoroughly refereed postproceedings of the 16th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2006, held in ...
Limited preview - About this book

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

Patricia Hill - Computers - 2006 - 178 pages
This book constitutes the thoroughly refereed postproceedings of the15th International Symposium on Logic Based Program Synthesis andTransformation, LOPSTR 2005, held in London ...
Limited preview - About this book

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

Danny De Schreye - Computers - 2010 - 205 pages
Thisvolumecontainsaselectionofthepaperspresentedatthe19thInternational SymposiumonLogic-BasedProgramSynthesisandTransformation(LOPSTR 2009)heldSeptember 9-11,2009in Coimbra ...
Limited preview - About this book




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