Tobias Nipkow

Tobias Nipkow (born 1958) is a German computer scientist. Provided by Wikipedia
Showing 1 - 11 results of 11 for search 'Nipkow, Tobias, 1958-', query time: 0.17s Refine Results
  1. 1
    Isabelle/HOL : a proof assistant for higher-order logic /
    by Nipkow, Tobias, 1958-
    Published 2002
    Connect to the full text of this electronic book
    Get full text
    eBook
  2. 2
    Isabelle : a generic theorem prover /
    by Paulson, Lawrence C.
    Published 1994
    Other Authors: “...Nipkow, Tobias, 1958-...”
    Connect to the full text of this electronic book
    eBook
  3. 3
    Term rewriting and all that /
    by Baader, Franz
    Published 1998
    Other Authors: “...Nipkow, Tobias, 1958-...”
    Book
  4. 4
    Rewriting techniques and applications : 9th international conference, RTA-98, Tsukuba, Japan, March 28-April 1, 1998 : proceedings /
    Published 1998
    Other Authors: “...Nipkow, Tobias, 1958-...”
    Conference Proceeding Book
  5. 5
    Formal logical methods for system security and correctness /
    Published 2008
    Other Authors: “...Nipkow, Tobias, 1958-...”
    Conference Proceeding Book
  6. 6
    Types for proofs and programs : international workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : selected papers /
    Published 1994
    Other Authors: “...Nipkow, Tobias, 1958-...”
    Book
  7. 7
    Automated reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-22, 2001 : proceedings /
    Published 2001
    Other Authors: “...Nipkow, Tobias, 1958-...”
    Conference Proceeding Book
  8. 8
    Types for proofs and programs : international workshop TYPES '93, Nijmegen, the Netherlands, May 24-28, 1993 : selected papers /
    Published 1994
    Other Authors: “...Nipkow, Tobias, 1958-...”
    Connect to the full text of this electronic book
    eBook
  9. 9
    Automated reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-22, 2001 : proceedings /
    Published 2001
    Other Authors: “...Nipkow, Tobias, 1958-...”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  10. 10
    FM 2006 : formal methods : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006 : proceedings /
    Published 2006
    Other Authors: “...Nipkow, Tobias, 1958-...”
    Connect to the full text of this electronic book
    Conference Proceeding Book
  11. 11
    FM 2006 : formal methods : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006 : proceedings /
    Published 2006
    Other Authors: “...Nipkow, Tobias, 1958-...”
    Connect to the full text of this electronic book
    Publisher description
    Conference Proceeding eBook
Search Tools: RSS Feed – Email Search