Hutter, Dieter.
Dieter Hutter researcher ORCID ID = 0000-0002-5881-204X
VIAF ID: 57238780 ( Personal )
Permalink: http://viaf.org/viaf/57238780
Preferred Forms
- 100 0 _ ‡a Dieter Hutter ‡c researcher ORCID ID = 0000-0002-5881-204X
- 100 1 _ ‡a Hutter, Dieter
-
-
- 100 1 _ ‡a Hutter, Dieter
-
- 100 1 _ ‡a Hutter, Dieter
-
- 100 1 _ ‡a Hutter, Dieter
-
-
- 100 1 _ ‡a Hutter, Dieter
-
4xx's: Alternate Name Forms (3)
5xx's: Related Names (2)
- 510 2 _ ‡a Deutsches Forschungszentrum für Künstliche Intelligenz ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a Universität Bremen ‡b Fachbereich Mathematik, Informatik ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
Works
Title | Sources |
---|---|
Applied formal methods--FM-Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998 : proceedings | |
Applied methods - FM-Trends 98 / Dieter Hutter [et al.] (eds.). - Berlin, 1999. | |
Deduktionssysteme : Automatisierung des logischen Denkens / hrsg. von K. H. Bläsius und H.-J. Bürckert. - München ; Wien, 1987. | |
Mechanizing mathematical reasoning : essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday | |
Mélanges. Siekmann, Jörg H. | |
Rippling: Meta-Level Guidance for Mathematical Reasoning | |
Security in pervasive computing : First International Conference, Boppard, Germany, March 12-14, 2003 : revised papers | |
SPC 2005 | |
Towards a framework to integrate proof search paradigms |