1 Ebook di N. Olivetti
Dov M. Gabbay & N. Olivetti: Goal-Directed Proof Theory
Goal Directed Proof Theory presents a uniform and coherent methodology for automated deduction in non-classical logics, the relevance of which to computer science is now widely acknowledged. The meth …
PDF
Inglese
DRM
€114.61