search result

Cover von Logic program synthesis and transformation
6th international workshop : Stockholm, Sweden, August 28 - 30, 1996 : proceedings
Search for this author
Year: 1997
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 1207
Media group: MONOGRAPHIE
Cover von Functional and Logic Programming
14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9 - 11, 2018, Proceedings
Search for this author
Year: 2018
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 10818
Media group: MONOGRAPHIE
Cover von LIPIcs, Volume 11, ICLP'11, Complete Volume

LIPIcs, Volume 11, ICLP'11, Complete Volume

Year: 2013
Media group: LIPIcs
Cover von Frontmatter, Table of Contents, Preface, Conference Organization

Frontmatter, Table of Contents, Preface, Conference Organization

Year: 2011
Media group: LIPIcs
Cover von Technical Communications of the 27th International Conference on Logic Programming
July 6 - 10, 2011, Lexington, Kentucky, USA
Search for this author
Year: 2011
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 11
Media group: LIPIcs
Cover von Logic-Based Program Synthesis and Transformation
27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10 - 12, 2017, Revised Selected Papers
Search for this author
Year: 2018
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 10855
Media group: MONOGRAPHIE
Cover von Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems
Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday
Search for this author
Year: 2023
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : Festschrift; 13160
Media group: MONOGRAPHIE
OPEN V 11.1.0.0