search result

Cover von 18th International Workshop on Types for Proofs and Programs
September 8 - 11, 2011, Bergen, Norway
Search for this author
Year: 2013
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 19
Media group: LIPIcs
Cover von Advances in natural language processing
6th international conference : Gothenburg, Sweden, August 25 - 27, 2008 : proceedings
Search for this author
Year: 2008
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 5221
Media group: MONOGRAPHIE
Cover von Types for proofs and programs
international workshop : Bastad, Sweden, June 6 - 10, 1994 : selected papers
Search for this author
Year: 1994
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 996
Media group: MONOGRAPHIE
Cover von Types for proofs and programs
international workshop : Lökeberg, Sweden, June 12 - 16, 1999 : selected papers
Search for this author
Year: 2000
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 1956
Media group: MONOGRAPHIE
OPEN V 11.1.0.0