自分のプロフィールを作成
オープン アクセス
すべて表示11 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- James BrotherstonProfessor of Logic and Computation, University College London確認したメール アドレス: ucl.ac.uk
- Liron CohenComputer Science, Ben-Gurion University確認したメール アドレス: cs.bgu.ac.il
- Simon ThompsonProfessor, University of Kent and Eötvös Loránd University, Budapest; Technical Advisor, IO Global確認したメール アドレス: kent.ac.uk
- Steffen van BakelImperial College London確認したメール アドレス: doc.ic.ac.uk
- Nikos GorogiannisFacebook London確認したメール アドレス: fb.com
- Scott OwensUniversity of Kent確認したメール アドレス: kent.ac.uk
- Simon DochertyUniversity College London確認したメール アドレス: ucl.ac.uk
- Dan R. GhicaProfessor of Semantics of Programming Languages, University of Birmingham確認したメール アドレス: cs.bham.ac.uk
- Victor-Alexandru DarvariuResearch Fellow in Machine Learning, University College London確認したメール アドレス: ucl.ac.uk
- Yoni ZoharBar Ilan University確認したメール アドレス: biu.ac.il