自分のプロフィールを作成
オープン アクセス
すべて表示3 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Josef UrbanDistinguished Researcher at Czech Technical University in Prague確認したメール アドレス: cvut.cz
- Tom HeskesProfessor of Computer Science and Artificial Intelligence, Radboud University Nijmegen確認したメール アドレス: science.ru.nl
- Jasmin BlanchetteLudwig-Maximilians-Universität München確認したメール アドレス: ifi.lmu.de
- Bernhard SchroederProfessor für germanistische Linguistik, Universität Duisburg-Essen確認したメール アドレス: uni-due.de
- Peter KoepkeProfessor of Mathematics, University of Bonn確認したメール アドレス: math.uni-bonn.de
- Cezary KaliszykUniversity of Innsbruck確認したメール アドレス: uibk.ac.at
- Twan van LaarhovenRadboud University Nijmegen確認したメール アドレス: cs.ru.nl
- David GreenawayNICTA and School of Computer Science, University of New South Wales確認したメール アドレス: cse.unsw.edu.au
- Stephan SchulzProfessor of Computer Science, DHBW Stuttgart確認したメール アドレス: eprover.org
- Herman GeuversRadboud University Nijmegen, the Netherlands確認したメール アドレス: cs.ru.nl
- Sil C. van de LeemputPhD student Radboudumc確認したメール アドレス: radboudumc.nl