登入選單

返回Google圖書搜尋

Mechanizing Local Reasoning with Contexts

P. Bouquet

出版	Istituto per la Ricerca Scientifica e Tecnologica, 1995
URL	http://books.google.com.hk/books?id=vmvOtgAACAAJ&hl=&source=gbs_api