Tobias Nipkow

Share

Bibliography

  • Book
  • eBook

collections

Acm Books

  1. Functional Data Structures And Algorithms
    #1

Computer Science

  1. Concrete Semantics
    #1

Lecture Notes In Computer Science

  1. Isabelle/Hol
    #1
X
Recommend
Tobias Nipkow
To recommend this author to a friend, simply fill in your name and email, as well as the name and email of the person you want to suggest them to. If you wish, you can also add a small comment, then click to send the request. Your recommendation will be immediately sent in your name to the email address of the person you are recommending them to.
Your identification:
The identification of the person you want to recommend this title to:
X
Your recommendation has been successfully sent!
X
An error occurred while sending your recommendation.
X
selecione o livro adotado:
X
An error occurred!
Please try again later.
X
You have reached the maximum number of authorized devices
Please go to your customer area to manage active devices.