建立我自己的個人學術檔案
公開取用
查看全部38 篇文章
1 篇文章
可供使用
無法使用
根據資金強制性政策
共同作者
- Lawrence PaulsonUniversity of Cambridge在 cam.ac.uk 的電子郵件地址已通過驗證
- Gerwin KleinProofcraft and UNSW在 unsw.edu.au 的電子郵件地址已通過驗證
- Franz BaaderProfessor of Theoretical Computer Science, TU Dresden在 tu-dresden.de 的電子郵件地址已通過驗證
- Johannes Hölzl在 in.tum.de 的電子郵件地址已通過驗證
- Jasmin BlanchetteLudwig-Maximilians-Universität München在 ifi.lmu.de 的電子郵件地址已通過驗證
- Thomas HalesUniversity of Pittsburgh在 pitt.edu 的電子郵件地址已通過驗證
- Ursula MartinUniversity of Edinburgh; University of Oxford在 maths.ox.ac.uk 的電子郵件地址已通過驗證
- Steven ObuaUniversity of Edinburgh在 inf.ed.ac.uk 的電子郵件地址已通過驗證
- John R HarrisonAmazon Web Services在 amazon.com 的電子郵件地址已通過驗證
- Andrei PopescuUniversity of Sheffield在 sheffield.ac.uk 的電子郵件地址已通過驗證
- Dmitriy TraytelUniversity of Copenhagen在 di.ku.dk 的電子郵件地址已通過驗證
- Peter LammichThe University of Manchester在 in.tum.de 的電子郵件地址已通過驗證
- Manuel EberlUniversity of Innsbruck在 uibk.ac.at 的電子郵件地址已通過驗證
- Gregor SneltingKIT在 kit.edu 的電子郵件地址已通過驗證
- Farhad MehtaProfessor of Computer Science, OST Eastern Switzerland University of Applied Sciences在 ost.ch 的電子郵件地址已通過驗證
- Christian UrbanKing's College London在 kcl.ac.uk 的電子郵件地址已通過驗證
- Maximilian P. L. HaslbeckTU München在 in.tum.de 的電子郵件地址已通過驗證
- Max W. HaslbeckPhD Student, University of Innsbruck在 uibk.ac.at 的電子郵件地址已通過驗證
- Nam Trung TranInstitute of Mathematics, Vietnam Academy of Science and Technology在 math.ac.vn 的電子郵件地址已通過驗證
- Cezary KaliszykUniversity of Innsbruck在 uibk.ac.at 的電子郵件地址已通過驗證
追蹤
Tobias Nipkow
Professor of Computer Science, Technische Universität München
在 in.tum.de 的電子郵件地址已通過驗證 - 首頁