登入
選單
返回
Google圖書搜尋
On Types and Type Consistency in Logic Programming
Gregor Meyer
出版
IOS Press
, 2000
ISBN
3898382354
9783898382359
URL
http://books.google.com.hk/books?id=lNAPCQc2UIkC&hl=&source=gbs_api
EBook
SAMPLE