by Dov M. Gabbay (Author), N. Olivetti (Author)
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.
Format: Hardcover
Pages: 284
Edition: 2000
Publisher: Springer
Published: 31 Aug 2000
ISBN 10: 0792364732
ISBN 13: 9780792364733