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 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-Based Program Synthesis and Transformation: 8th International Workshop ...

Pierre Flener - Computers - 1999 - 330 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: 12th ..., Volume 12

M. Leuschel - Computers - 2003 - 279 pages
This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on Logic Based Program Synthesis and Transformation, LOPSTR 2002, 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

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

Andy King - Computers - 2008 - 217 pages
This postproceedings volume of the 17th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2007, examines program termination, program ...
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 program synthesis and transformation: proceedings of ..., Volume 1993

Yves Deville, British Computer Society - Computers - 1994 - 245 pages
This volume contains the papers from the Third International Workshop on Logic Program Synthesis and Transformation (LOPSTR 93), held in Louvain-la-Neuve, Belgium, from 7-9 ...
Snippet view - About this book




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