自分のプロフィールを作成
オープン アクセス
すべて表示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
- Jasmin BlanchetteLudwig-Maximilians-Universität München確認したメール アドレス: ifi.lmu.de
- Johannes Hölzl確認したメール アドレス: in.tum.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
- Peter LammichThe University of Manchester確認したメール アドレス: in.tum.de
- Andrei PopescuUniversity of Sheffield確認したメール アドレス: sheffield.ac.uk
- Dmitriy TraytelUniversity of Copenhagen確認したメール アドレス: di.ku.dk
- 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 - ホームページ