Tobias Nipkow 人物
相关论文查看全部 (5)
Term Rewriting and All That
1998Cambridge University Press eBooks引用 2116
Isabelle: A Generic Theorem Prover
1994引用 930
A machine-checked model for a Java-like language, virtual machine, and compiler
2006ACM Transactions on Programming Languages and Systems引用 247
相关公司查看全部 (1)
Technical University of MunichUNIVERSITY
相关事件
暂无数据
相关专利
暂无数据
相关文章
暂无数据