熱門搜尋
分類(單選) |
顯示所有篩選
|
---|---|
配送方式(可複選) | |
其他(可複選) |
搜尋結果共 4 筆, 頁數 1 / 1
呈現:
Fields of Logic and Computation II: Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday
This Festschrift is published in honor of Yuri Gurevich’s 75th birthday. Yuri Gurevich has made fund... more |
|||
Computer Science -- Theory and Applications: 10th International Computer Science Symposium in Russia, Csr 2015, Listvyanka, Russia, July 13-17, 2015,
|
|||
Logic, Language, Information, and Computation: 18th International Workshop, Wollic 2011, Philadelphia, Pa, Usa, May 18-20, Proceedings
|
|||
Provability, Computability And Reflection
|