- 已选条件:
全选
【符合条件的数据共:23条】
作者:Jochen Reutelshoefer, Joachim Baumeister, Frank Puppe
会议时间:
作者:Christoph Lange
会议时间:
作者:Karsten Dello, Lyndon Nixon, Robert Tolksdorf
会议时间:
5 Flyspeck in a Semantic Wiki: Collaborating on a Large Scale Formalization of the Kepler Conjecture [会议论文]
作者:Christoph Lange, Sean McLaughlin, Florian Rabe
会议时间:
作者:Markus Luczak-Rösch, Ralf Heese
会议时间: