建立我自己的個人學術檔案
公開取用
查看全部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. WintersteigerImandra在 imandra.ai 的電子郵件地址已通過驗證
- 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 的電子郵件地址已通過驗證