ผู้เขียน: Ansgar Fehnker

สนับสนุน

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