登入選單
返回Google圖書搜尋
Research in Interactive Theorem Proving at Edinburgh University
University of Edinburgh. Laboratory for Foundations of Computer ScienceR. M. Burstall
出版Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh, 1986
URLhttp://books.google.com.hk/books?id=5jqbQwAACAAJ&hl=&source=gbs_api