登入選單
返回Google圖書搜尋
Logic Program Synthesis and Transformation
其他書名
Proceedings of LOPSTR ...,
出版Springer-Verlag, 1995
ISBN35406093939783540609391
URLhttp://books.google.com.hk/books?id=RpdQAAAAMAAJ&hl=&source=gbs_api