自分のプロフィールを作成
オープン アクセス
すべて表示6 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Arnold BeckmannProfessor of Computer Science, Swansea University確認したメール アドレス: swansea.ac.uk
- Richard ZachProfessor of Philosophy, University of Calgary確認したメール アドレス: ucalgary.ca
- Chris FermüllerProfessor of Computer Science, Vienna University of Technology確認したメール アドレス: logic.at
- Agata CiabattoniVienna University of Technology確認したメール アドレス: logic.at
- Martin ZieglerKAIST確認したメール アドレス: zie.de
- Kokichi FUTATSUGIProfessor of Computer Science, JAIST確認したメール アドレス: jaist.ac.jp
- Kazuhiro OgataJAIST確認したメール アドレス: jaist.ac.jp
- Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU Wien確認したメール アドレス: forsyte.tuwien.ac.at
- Gernot SalzerAssociate Professor of Computer Science, Technische Universität Wien確認したメール アドレス: logic.at
- Leonardo Manuel CabrerInstitute of Computer Languages - Technische Universität Wien確認したメール アドレス: logic.at