Dieter Hutter

7 works Add another?

Sort by:

Most Editions

Most Editions First Published Most Recent Top Rated Reading Log Random

— Show only ebooks?

Rippling: Meta-Level Guidance for Mathematical Reasoning (Cambridge Tracts in Theoretical Computer Science)

by Alan Bundy, David Basin, Dieter Hutter, and Andrew Ireland First published in 2005 — 4 editions

Locate

My Reading Lists:

Create a new list

Create a new list
×Close

Name:

Description:

Cancel
Security in Pervasive Computing: First International Conference, Boppard, Germany, March 12-14, 2003, Revised Papers (Lecture Notes in Computer Science)

by Dieter Hutter, Günter Müller, and Werner Stephan First published in 2004 — 3 editions

Locate

My Reading Lists:

Create a new list
Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)

by Jörg H. Siekmann, Dieter Hutter, and Werner Stephan First published in 2005 — 2 editions

Locate

My Reading Lists:

Create a new list
Applied Formal Methods - FM-Trends 98: International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings (Lecture Notes in Computer Science)

by Dieter Hutter and Gerhard Goos First published in 1999 — 2 editions

Locate

My Reading Lists:

Create a new list
Rippling Meta-Level Guidance for Mathematical Reasoning. Cambridge Tracts in Theoretical Computer Science, No. 56

by Alan Bundy, David Basin, Dieter Hutter, and Andrew Ireland First published in 2005 — 1 edition

Locate

My Reading Lists:

Create a new list
Mustergesteuerte Strategien für das Beweisen von Gleichungen

by Dieter Hutter First published in 1991 — 1 edition

Locate

My Reading Lists:

Create a new list
Preview

Preview Book
×Close

Mechanizing mathematical reasoning: essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday

by Jörg H. Siekmann, Dieter Hutter, and Werner Stephan First published in 2005 — 1 edition

Preview Only

My Reading Lists:

Create a new list

Add to List

My Reading Lists:

Create a new list

ID Numbers

OLID: OL2771771A

Links outside Open Library

No links yet. Add one?

History

Created April 29, 2008
1 revision

Download catalog record: RDF / JSON

April 29, 2008

Created by an anonymous user

initial import

Dieter Hutter

7 works Add another?

Rippling: Meta-Level Guidance for Mathematical Reasoning (Cambridge Tracts in Theoretical Computer Science)

Create a new list

Security in Pervasive Computing: First International Conference, Boppard, Germany, March 12-14, 2003, Revised Papers (Lecture Notes in Computer Science)

Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)

Applied Formal Methods - FM-Trends 98: International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings (Lecture Notes in Computer Science)

Rippling Meta-Level Guidance for Mathematical Reasoning. Cambridge Tracts in Theoretical Computer Science, No. 56

Mustergesteuerte Strategien für das Beweisen von Gleichungen

Preview Book

Mechanizing mathematical reasoning: essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday

Subjects

Lists

Add to List

ID Numbers

Links outside Open Library

History