自分のプロフィールを作成
オープン アクセス
すべて表示2 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Nikolaj BjornerMicrosoft Research確認したメール アドレス: cs.stanford.edu
- Bruno DutertreAmazon Web Services確認したメール アドレス: amazon.com
- Harald Ruessfortiss確認したメール アドレス: fortiss.org
- Natarajan ShankarSRI International Computer Science Laboratory確認したメール アドレス: csl.sri.com
- John RushbySRI International確認したメール アドレス: csl.sri.com
- Clark BarrettStanford University確認したメール アドレス: cs.stanford.edu
- Jeremy AvigadProfessor of Philosophy and Mathematical Sciences, Carnegie Mellon University確認したメール アドレス: cmu.edu
- Daniel SelsamOpenAI確認したメール アドレス: openai.com
- Dejan JovanovićAmazon Web Services確認したメール アドレス: amazon.com
- Sam OwreSRI International確認したメール アドレス: sri.com
- Aaron StumpProfessor of Computer Science, The University of Iowa確認したメール アドレス: uiowa.edu
- Sebastian UllrichKarlsruhe Institute of Technology確認したメール アドレス: kit.edu
- Soonho KongAmazon Web Services確認したメール アドレス: amazon.com
- Grant Olney PassmoreImandra Inc. and Clare Hall, University of Cambridge確認したメール アドレス: cl.cam.ac.uk
- Ira BaxterCTO Semantic Designs確認したメール アドレス: semdesigns.com
- Christoph M. WintersteigerMicrosoft Research確認したメール アドレス: microsoft.com
- Percy LiangAssociate Professor of Computer Science, Stanford University確認したメール アドレス: cs.stanford.edu
- Ashish TiwariComputer Scientist, SRI International; Researcher Microsoft確認したメール アドレス: csl.sri.com
- Floris van DoornUniversity of Paris-Saclay確認したメール アドレス: universite-paris-saclay.fr
- Jakob von RaumerKarlsruhe Institute of Technology確認したメール アドレス: von-raumer.de