search result

Cover von Mustergesteuerte Strategien für das Beweisen von Gleichungen
Author: Hutter, Dieter Search for this author
Year: 1991
Publisher: Karlsruhe, Universität
Media group: DISSERTATION
Cover von Security in pervasive computing
second international conference, Boppard, Germany, April 6 - 8, 2005, proceedings
Search for this author
Year: 2005
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 3450
Media group: MONOGRAPHIE
Cover von Security in pervasive computing
first international conference : Boppard, Germany, March 12 - 14, 2003, revised papers
Search for this author
Year: 2004
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 2802
Media group: MONOGRAPHIE
Cover von Mechanizing mathematical reasoning
essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday
Search for this author
Year: 2005
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 2605
Media group: MONOGRAPHIE
Cover von Applied formal methods
international workshop on current trends in applied formal methods : Boppard, Germany, October 7 - 9, 1998 : proceedings
Search for this author
Year: 1999
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 1641
Media group: MONOGRAPHIE
Cover von Rippling
meta-level guidance for mathematical reasoning
Search for this author
Year: 2005
Publisher: Cambridge, Cambridge University Press
Series: Cambridge tracts in theoretical computer science; 56
Media group: MONOGRAPHIE
Cover von AI meets Formal Software Development; 7
pp. 1-29
Search for this author
Year: 2012
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 7
Media group: DAGSTUHL REPORT
OPEN V 11.1.0.0