![Goal-Directed Proof Theory - Applied Logic Series - Dov M. Gabbay - Książki - Springer - 9789048155262 - 4 grudnia 2010](https://imusic.b-cdn.net/images/item/original/262/9789048155262.jpg?dov-m-gabbay-2010-goal-directed-proof-theory-applied-logic-series-paperback-book&class=scaled&v=1414857206)
Powiedz znajomym o tym przedmiocie:
Goal-Directed Proof Theory - Applied Logic Series Softcover reprint of the original 1st ed. 2000 edition
Dov M. Gabbay
Goal-Directed Proof Theory - Applied Logic Series Softcover reprint of the original 1st ed. 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 Paperback Book (Książka z miękką okładką i klejonym grzbietem) |
Wydane | 4 grudnia 2010 |
ISBN13 | 9789048155262 |
Wydawcy | Springer |
Strony | 268 |
Wymiary | 155 × 235 × 14 mm · 394 g |
Język | English |
Pokaż wszystko
Więcej od Dov M. Gabbay
Zobacz wszystko od Dov M. Gabbay ( np. Hardcover Book i Paperback Book )