- 已选条件:
全选
【符合条件的数据共:71条】
1 Blocking Automata for PSpace DLs [会议论文]
作者:Franz Baader1, Jan Hladik1, and Rafael Pen˜aloza2 1 Theoretical Computer Science, TU Dresden, Germany, Uni Leipzig, Germany
会议时间:
作者:Umberto Straccia, Giulio Visco
会议时间:
3 Practical Conforming Datatype Groups [会议论文]
作者:Dave Turner and Jeremy J. Carroll {DavidT, Jeremy.Carroll}@hp.com
会议时间:
作者:Chiara Ghidini1, Luciano Serafini1, Sergio Tessaris2
会议时间:
作者:Diego Calvanese1;Giuseppe De Giacomo2;Domenico Lembo2;等
会议时间:
作者:Francesca A. Lisi
会议时间: