题名:
International Workashop on Logic programm Synthesis and Transformation(1991 : University of Manchester)   / ,
ISBN:
价格: ¥64.00
语种:
eng
载体形态:
337 p.
出版发行:
出版地: London 出版社: Springer 出版日期: 1991
其它题名:
Logic program synthesis and transition
主要团体责任者:
International Workshop on Logic Programming Synthesis and Transformation
索书号:
1