【预售 按需印刷】逻辑程序设计:1997年国际研讨会 Logic Programming: The 1997 International Symposium 进口英文正版书籍