登入選單
返回Google圖書搜尋
8th International Conference on Automated Deduction
Roland R. Hausser
其他書名
Oxford, England, July 27-August 1, 1986 : Proceedings
出版Springer-Verlag, 1986
ISBN03871678039780387167800
URLhttp://books.google.com.hk/books?id=7lvvtAEACAAJ&hl=&source=gbs_api