登入選單
返回Google圖書搜尋
An interactive system for algebraic implementation proofs
Bernhard Bauer
其他書名
the ISAR system from the user's point of view
出版Univ. München, Inst. für Informatik, 1993
URLhttp://books.google.com.hk/books?id=u9kxMwAACAAJ&hl=&source=gbs_api