Powiedz znajomym o tym przedmiocie:
Goal-Directed Proof Theory - Applied Logic Series 2000 edition
Dov M. Gabbay
Goal-Directed Proof Theory - Applied Logic Series 2000 edition
Dov M. Gabbay
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.
268 pages, biography
Media | Książki Hardcover Book (Książka z twardym grzbietem i okładką) |
Wydane | 31 sierpnia 2000 |
ISBN13 | 9780792364733 |
Wydawcy | Springer |
Strony | 268 |
Wymiary | 156 × 234 × 17 mm · 571 g |
Język | English |
Pokaż wszystko
Więcej od Dov M. Gabbay
Zobacz wszystko od Dov M. Gabbay ( np. Hardcover Book i Paperback Book )