登入
選單
返回
Google圖書搜尋
Real Theorem Provers Deserve Real User-interfaces
Institut National de Recherche en Informatique et en Automatique
Laurent Théry
Yves Bertot
Gilles Kahn
出版
Institut National de Recherche en Informatique et en Automatique
, 1992
URL
http://books.google.com.hk/books?id=RTPZGwAACAAJ&hl=&source=gbs_api
註釋
Abstract: "This paper explains how to add a modern user interface to existing theorem provers, using principles and tools designed for programming environments."
