
Fortæl dine venner om denne vare:
Goal-Directed Proof Theory - Applied Logic Series 2000 edition
Dov M. Gabbay
Pris
₩ 210.750
Bestilles fra fjernlager
Forventes klar til forsendelse 18. - 25. jun.
Tilføj til din iMusic ønskeseddel
Findes også som:
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
Medie | Bøger Hardcover bog (Bog med hård ryg og stift omslag) |
Udgivet | 31. august 2000 |
ISBN13 | 9780792364733 |
Forlag | Springer |
Antal sider | 268 |
Mål | 156 × 234 × 17 mm · 571 g |
Sprog | Engelsk |