登入選單
返回Google圖書搜尋
Exploiting OR-parallelism in Prolog Using Multiple Sequential Machines
出版University of Cambridge, 1989
URLhttp://books.google.com.hk/books?id=5_s3qAAACAAJ&hl=&source=gbs_api