登入
選單
返回
Google圖書搜尋
LOGIC PROGRAM SYNTHESIS AND TRANSFORMATION-META-PROGRAMMING IN LOGIC
Laurent Fribourg
其他書名
4th International Workshop, LOPSTR '94 and META '94 Pisa, Italy, June 1994 Proceedings
出版
Springer-Verlag
, 1994
URL
http://books.google.com.hk/books?id=mDYEoQEACAAJ&hl=&source=gbs_api
