Logic Program Synthesis and Transformation: Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University ... 2-3 July 1992

...

Author: Kung-Kiu Lau | Timothy P. Clement

8 downloads 633 Views 3MB Size Report

This content was uploaded by our users and we assume good faith they have the permission to share this book. If you own the copyright to this book and it is wrongfully on our website, we offer a simple DMCA procedure to remove your content from our site. Start by pressing the button below!

Report copyright / DMCA form

DOWNLOAD DJVU

Logic-Based Program Synthesis and Transformation, 18 conf., LOPSTR 2008

Logic-Based Program Synthesis and Transformation, 18 conf., LOPSTR 2008

Logic Based Program Synthesis and Transformation, 14 conf., LOPSTR 2004

Logic Based Program Synthesis and Transformation, 14 conf., LOPSTR 2004

Logic Based Program Synthesis and Transformation, 10 conf., LOPSTR 2000

Logic Based Program Synthesis and Transformation, 10 conf., LOPSTR 2000

Logic Based Program Synthesis and Transformation, 12 conf., LOPSTR 2002

Logic Based Program Synthesis and Transformation, 12 conf., LOPSTR 2002

Logic Based Program Synthesis and Transformation, 15 conf., LOPSTR 2005

Logic Based Program Synthesis and Transformation, 15 conf., LOPSTR 2005

Logic Based Program Synthesis and Transformation, 11 conf., LOPSTR 2001

Logic Based Program Synthesis and Transformation, 11 conf., LOPSTR 2001

Logic-Based Program Synthesis and Transformation - LOPSTR 2010

Logic-Based Program Synthesis and Transformation - LOPSTR 2010

Logic Programming Synthesis and Transformation, 9 conf., LOPSTR'99

Logic Programming Synthesis and Transformation, 9 conf., LOPSTR'99

Logic Programming Synthesis and Transformation, 7 conf., LOPSTR'97

Logic Programming Synthesis and Transformation, 7 conf., LOPSTR'97

Logic Programming Synthesis and Transformation, 6 conf., LOPSTR'96

Logic Programming Synthesis and Transformation, 6 conf., LOPSTR'96

Logic Programming Synthesis and Transformation, 8 conf., LOPSTR'98

Logic Programming Synthesis and Transformation, 8 conf., LOPSTR'98

Logic Programming Synthesis and Transformation, 5 conf., LOPSTR'95

Logic Programming Synthesis and Transformation, 5 conf., LOPSTR'95

Logic-Based Program Synthesis and Transformation: 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers

Logic-Based Program Synthesis and Transformation: 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers

Logic-Based Program Synthesis and Transformation: 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised

Logic-Based Program Synthesis and Transformation: 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised

Logic Programming Synthesis and Transformation - Meta-Programming in Logic, 4 conf., LOPSTR'94 and META'94

Logic Programming Synthesis and Transformation - Meta-Programming in Logic, 4 conf., LOPSTR'94 and META'94

Logic-Based Program Synthesis and Transformation (Lecture Notes in Computer Science, 6037)

Logic-Based Program Synthesis and Transformation (Lecture Notes in Computer Science, 6037)

Logic Program Synthesis and Transformation: 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings (Lecture Notes in Computer Science)

Logic Program Synthesis and Transformation: 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings (Lecture Notes in Computer Science)

Logic Synthesis and Verification Algorithms

Logic Synthesis and Verification Algorithms

Parallel Algorithm Derivation and Program Transformation

Parallel Algorithm Derivation and Program Transformation

Logic Programming and Automated Reasoning: International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings

Logic Programming and Automated Reasoning: International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings

Logic-Based Program Synthesis and Transformation: 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers ... Computer Science and General Issues)

Logic-Based Program Synthesis and Transformation: 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers ... Computer Science and General Issues)

Memory-Based Logic Synthesis

Memory-Based Logic Synthesis

The Logic of Chemical Synthesis

The Logic of Chemical Synthesis

The Logic of Chemical Synthesis

The Logic of Chemical Synthesis

The Logic of Chemical Synthesis

The Logic of Chemical Synthesis

Logic Programming: Systematic Program Development (International Series in Logic Programming)

Logic Programming: Systematic Program Development (International Series in Logic Programming)

The Logic of Chemical Synthesis

The Logic of Chemical Synthesis

Logic Based Program Synthesis and Transformation: 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers (Lecture Notes in Computer Science)

Logic Based Program Synthesis and Transformation: 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers (Lecture Notes in Computer Science)

Extensions of Logic Programming: Third International Workshop, ELP '92, Bologna, Italy, February 26-28, 1992. Proceedings

Extensions of Logic Programming: Third International Workshop, ELP '92, Bologna, Italy, February 26-28, 1992. Proceedings

VHDL: a logic synthesis approach

VHDL: a logic synthesis approach

Our partners will collect data and use cookies for ad personalization and measurement. Learn how we and our ad partner Google, collect and use data. Agree & close