Logic-based program synthesis and transformation 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, revised selected papers /

• 作者：edited by Michael Hanus
• 出版者：Springer Berlin Heidelberg
• 出版地：Berlin, Heidelberg :
• 語文：英語
• 叢書名：Lecture Notes in Computer Science ;
• 電子資源：連結全文
• ISBN/ISSN/ISRC：9783642005152 ((electronic bk.)) ; 9783642005145 ((paper))
• 作者：Hanus Michael
• 索書號：005.115
• 團體作者：