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

Tobias Nipkow

We need a photo of Tobias Nipkow

6 works Add another?

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

  • Cover of: Concrete Semantics: With Isabelle/HOL

    First published in 2014 — 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: Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings (Lecture Notes in Computer Science)

    First published in 2001 — 2 editions
    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
  • Cover of: Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science)

    First published in 2002 — 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: Rewriting Techniques and Applications: 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings (Lecture Notes in Computer Science)

    First published in 1998 — 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: FM 2006 : Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings

    First published in 2006 — 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: FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings (Lecture Notes in Computer Science)

    First published in 2006 — 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
We need a photo of Tobias Nipkow

Subjects

Automatic theorem proving, Application software, development, Computer logic, Congresses, Computer science, Computer software, Computers, Development, Formal methods (Computer science), Logic design, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Mathematics, Programming Languages, Compilers, Interpreters, System design

Lists

Add to List

My Reading Lists:

Create a new list

ID Numbers

  • OLID: OL3180053A

Links outside Open Library

No links yet. Add one?

History

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