search result

Cover von Automated deduction
16th international conference on automated deduction : Trento, Italy, July 7 - 10, 1999 : proceedings
Search for this author
Year: 1999
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 1632
Media group: MONOGRAPHIE
Cover von Rewriting techniques and applications
Search for this author
Year: 1998
Publisher: Amsterdam, Elsevier
Series: Theoretical computer science : 208. 1998, 1/2
Media group: SPECIAL ISSUE
Cover von Rewriting techniques and applications
7th international conference : New Brunswick, NJ, USA, July 27 - 30, 1996 : proceedings
Search for this author
Year: 1996
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 1103
Media group: MONOGRAPHIE
Cover von ESOP 88
2nd European symposium on programming : Nancy, France, March 21 - 24, 1988 : proceedings
Search for this author
Year: 1988
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 300
Media group: MONOGRAPHIE
Cover von Second European symposium on programming
Search for this author
Year: 1990
Publisher: Amsterdam, North-Holland
Series: Theoretical computer science : 73. 1990, 2
Media group: SPECIAL ISSUE
Cover von Programs as data objects
proceedings of a workshop : Copenhagen, Denmark, October 17 - 19, 1985
Search for this author
Year: 1985
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 217
Media group: MONOGRAPHIE
Cover von Informatik
Festschrift zum 60. Geburtstag von Günter Hotz
Search for this author
Year: 1992
Publisher: Stuttgart, Teubner
Series: Teubner-Texte zur Informatik; 1
Media group: MONOGRAPHIE
Cover von Programming Logics
Essays in Memory of Harald Ganzinger
Search for this author
Year: 2013
Publisher: Berlin, Springer
Series: Lecture notes in computer science : Festschrift; 7797
Media group: MONOGRAPHIE
Cover von Logic for programming and automated reasoning
6th international conference : Tbilisi, Georgia, September 6 - 10, 1999 : proceedings
Search for this author
Year: 1999
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 1705
Media group: MONOGRAPHIE
Cover von Theorem proving and logic programming with constraints
21.10. - 25.10.91 (9143)
Search for this author
Year: 1991
Publisher: Wadern-Dagstuhl, IBFI
Series: Dagstuhl-Seminar-Report; 24
Media group: DAGSTUHL-SEMINAR-REP
OPEN V 11.1.0.0