熱門搜尋
您輸入的關鍵字: Jantke
搜尋結果共 17 筆, 頁數 1 / 1
呈現:
The lives of people all around the world, especially in industrialized nations, continue to be chang... more
This volume contains the papers presented at the 14th Annual Conference on Algorithmic Learning Theo... more
The 9th International Conference on Discovery Science (DS 2006) was held in Barcelona, Spain, on 7-1... more
This proceedings volume contains revised papers from the first International Workshop on Nonmonotoni... more
This volume contains the proceedings of a workshop on specification of abstract data types. The main... more
No detailed description available for "Mathematical Methods of Specification and Synthesis of Softwa... more