search result

Cover von Front Matter, Table of Contents, Preface, Conference Organization

Front Matter, Table of Contents, Preface, Conference Organization

Year: 2026
Media group: LIPIcs
Cover von LIPIcs, Volume 378, FSCD 2026, Complete Volume

LIPIcs, Volume 378, FSCD 2026, Complete Volume

Year: 2026
Media group: LIPIcs
Cover von 11th International Conference on Formal Structures for Computation and Deduction
FSCD 2026, Lisbon, Portugal, July 20-23, 2026
Search for this author
Year: 2026
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 378
Media group: LIPIcs
Cover von Formal proof
special issue
Search for this author
Year: 1999
Publisher: Dordrecht, Kluwer
Series: Journal of automated reasoning : 23. 1999, 3/4
Media group: SPECIAL ISSUE
Cover von Logic programming and automated reasoning
5th international conference : Kiev, Ukraine, July 16 - 22, 1994 : proceedings
Search for this author
Year: 1994
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 822
Media group: MONOGRAPHIE
Cover von Types in logic programming
Search for this author
Year: 1992
Publisher: Cambridge, MIT Pr.
Series: Logic programming
Media group: MONOGRAPHIE
Cover von A Linear Spine Calculus

A Linear Spine Calculus

article
Year: 2003
Media group: ARTICLE
Cover von Automated deduction
CADE-21 : 21st international conference on automated deduction : Bremen, Germany, July 17 - 20, 2007 : proceedings
Search for this author
Year: 2007
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 4603
Media group: MONOGRAPHIE
Cover von Term rewriting and applications
17th international conference, Seattle, WA, USA, August 12 - 14, 2006 : proceedings
Search for this author
Year: 2006
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 4098
Media group: MONOGRAPHIE
Cover von Generative programming and component engineering
second international conference, Erfurt, Germany, September 22 - 25, 2003, proceedings
Search for this author
Year: 2003
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 2830
Media group: MONOGRAPHIE
OPEN V 11.1.0.0