1 Ebooks von 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 …
PDF
Englisch
DRM
€111.88
