search result

Cover von Logical environments
Search for this author
Year: 1993
Publisher: Cambridge, Cambridge University Press
Media group: MONOGRAPHIE
Cover von Logical frameworks
Search for this author
Year: 1991
Publisher: Cambridge, Cambridge University Press
Media group: MONOGRAPHIE
Cover von Papers presented at the 2002 IEEE symposium on logic in computer science; 1/3
special issue : 1 - 337
Author: Tarski, Alfred Search for this author
Year: 2004
Publisher: Amsterdam, North-Holland
Count: 1/3
Media group: SPECIAL ISSUE
Cover von Volume 2.; Situation theory and its applications
Search for this author
Year: 1991
Publisher: Stanford, CSLI Publications
Volume: Volume 2.
Series: CSLI lecture notes series; 26
Media group: MONOGRAPHIE
Cover von Computational logic
essays in honor of Alan Robinson
Search for this author
Year: 1991
Publisher: Cambridge, MIT Pr.
Media group: MONOGRAPHIE
Cover von Vol. VI.; Transactions on computational systems biology
Search for this author
Year: 2006
Publisher: Berlin, Springer
Volume: Vol. VI.
Series: Lecture notes in bioinformatics; 4220
Media group: MONOGRAPHIE
Cover von Proof, languages and interaction
essays in honour of Robin Milner
Search for this author
Year: 2000
Publisher: Cambridge, MIT Press
Series: Foundations of computing series
Media group: MONOGRAPHIE
Cover von Semantics of data types
international symposium : Sophia-Antipolis, France, June 27 - 29, 1984 : proceedings
Search for this author
Year: 1984
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 173
Media group: MONOGRAPHIE
Cover von Typed lambda calculi and applications
second international conference on typed lambda calculi and applications : Edinburgh, United Kingdom, April 10 - 12, 1995 : proceedings
Search for this author
Year: 1995
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 902
Media group: MONOGRAPHIE
Cover von From Semantics to Computer Science
Essays in Honour of Gilles Kahn
Search for this author
Year: 2009
Publisher: Cambridge, Cambridge University Press
Media group: MONOGRAPHIE
OPEN V 11.1.0.0