Autore: Ansgar Fehnker

Supporto

1 Ebook di 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
Inglese
DRM
€57.89