熱門搜尋
您輸入的關鍵字: Jouannaud
搜尋結果共 8 筆, 頁數 1 / 1
呈現:
This book constitutes the referred proceedings of the First International Conference on Certified Pr... more
Joseph Goguen is one of the most prominent computer scientists worldwide. His numerous research cont... more
First International Conference on Rewriting Techniques and Applications... more