It looks like you're offline.
Donate
English (en) Change Website Language
Open Library logo
additional options menu
Last edited anonymously
April 29, 2008 | History
Edit

Dieter Hutter

We need a photo of Dieter Hutter

7 works Add another?

Showing all works by author. Would you like to see only ebooks?

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

    First published in 2005 — 4 editions
    Locate

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Security in Pervasive Computing: First International Conference, Boppard, Germany, March 12-14, 2003, Revised Papers (Lecture Notes in Computer Science)

    First published in 2004 — 3 editions
    Locate

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)

    First published in 2005 — 2 editions
    Locate

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: 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)

    First published in 1999 — 2 editions
    Locate

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Mustergesteuerte Strategien für das Beweisen von Gleichungen

    First published in 1991 — 1 edition
    Locate

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Rippling Meta-Level Guidance for Mathematical Reasoning. Cambridge Tracts in Theoretical Computer Science, No. 56

    First published in 2005 — 1 edition
    Locate

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Mechanizing mathematical reasoning: essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday

    First published in 2005 — 1 edition
    Borrow Listen

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
We need a photo of Dieter Hutter

Subjects

Automatic theorem proving, Symbolic and mathematical Logic, Automation, Congresses, Reasoning, Technique, Computer security, Computers, congresses, Electronic data processing, distributed processing, Formal methods (Computer science), Logic, symbolic and mathematical, Ubiquitous computing

Lists

Add to List

My Reading Lists:

Create a new list

ID Numbers

  • OLID: OL2771771A

Links outside Open Library

No links yet. Add one?

History

Download catalog record: RDF / JSON
April 29, 2008 Created by an anonymous user initial import