登入選單

返回Google圖書搜尋

Argus/V: a System for Verification of Prolog Programs

Shin Sedai Konpyūta Gijutsu Kaihatsu Kikō (Japan)

出版	1986
URL	http://books.google.com.hk/books?id=o00NzQEACAAJ&hl=&source=gbs_api