1 电子书 Ansgar Fehnker
Martin Davis & Ansgar Fehnker: Logic for Programming, Artificial Intelligence, and Reasoning
This book constitutes the proceedings of the 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-20, held in November 2015, in Suva, Fiji.The 43 regul …
PDF
英语
DRM
€57.89
