登入
選單
返回
Google圖書搜尋
The Coq Proof Assistant
Gérard Huet
Gilles Kahn
Christine Paulin-Mohring
其他書名
A Tutorial ; Version 6.1
出版
Institut National de Recherche en Informatique et en Automatique
, 1997
URL
http://books.google.com.hk/books?id=Q91imwEACAAJ&hl=&source=gbs_api