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

Annalisa Bossi - Computers - 2000 - 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: 13th ..., Volume 13

Maurice Bruynooghe - Computers - 2004 - 232 pages
This volume contains selected papers from LOPSTR 2003, the 13th Inter- tional Symposium on Logic-Based Program Synthesis and Transformation. The LOPSTR series is devoted to ...
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 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

Controlled Natural Language: Second International Workshop, CNL 2010 ...

Michael Rosner, Norbert E. Fuchs - Artificial intelligence - 2012 - 193 pages
This book constitutes the refereed proceedings of the Second International Workshop on Controlled Natural Language, CNL 2010, held in Marettimo Island, Italy, in September 2010 ...
Limited preview - About this book

Controlled Natural Language: Third International Workshop, CNL 2012, Zurich ...

Tobias Kuhn, Norbert E. Fuchs - Artificial intelligence - 2012 - 184 pages
This book constitutes the refereed proceedings of the Third International Workshop on Controlled Natural Language, CNL 2012, held in Zurich, Switzerland, in August 2012. The 12 ...
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: 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




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