Fortæl dine venner om denne vare:
Handbook of Automated Reasoning
Andrei Voronkov
Pris
DKK 2.592
Bestilles fra fjernlager
Forventes klar til forsendelse 8. - 15. sep.
Tilføj til din iMusic ønskeseddel
Eller
Handbook of Automated Reasoning
Andrei Voronkov
This second volume of "Handbook of Automated Reasoning" covers topics such as higher-order logic and logical frameworks, higher-order unification and matching, logical frameworks, proof-assistants using dependent type systems, and nonclassical logics.
1188 pages, indexes
| Medie | Bøger Hardcover bog (Bog med hård ryg og stift omslag) |
| Udgivet | 21. juni 2001 |
| ISBN13 | 9780444508126 |
| Forlag | Elsevier Science & Technology |
| Antal sider | 1188 |
| Mål | 165 × 240 × 60 mm · 2,07 kg |
| Klipper/redaktør | Robinson, Alan J.A. (96 Highland Avenue, Greenfield, Massachusetts, USA) |
| Klipper/redaktør | Voronkov, Andrei (University of Manchester, Computer Science Department, Oxford Road, Manchester, M13 9LP, UK.) |
Vis alle
Mere med Andrei Voronkov
![Cover for Andrei Voronkov · Perspectives of System Informatics: 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers - Lecture Notes in Computer Science (Paperback Bog) [2015 edition] (2015)](https://imusic.b-cdn.net/images/item/original/227/9783662468227.jpg?andrei-voronkov-2015-perspectives-of-system-informatics-9th-international-ershov-informatics-conference-psi-2014-st-petersburg-russia-june-24-27-2014-revised-selected-papers-lecture-notes-in-computer-science-paperback-bog&class=scaled&v=1573875263)
![Cover for Andrei Voronkov · Programming Logics: Essays in Memory of Harald Ganzinger - Theoretical Computer Science and General Issues (Paperback Bog) [2013 edition] (2013)](https://imusic.b-cdn.net/images/item/original/504/9783642376504.jpg?andrei-voronkov-2013-programming-logics-essays-in-memory-of-harald-ganzinger-theoretical-computer-science-and-general-issues-paperback-bog&class=scaled&v=1483819467)
![Cover for Andrei Voronkov · Rewriting Techniques and Applications: 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings - Theoretical Computer Science and General Issues (Paperback Bog) [2008 edition] (2008)](https://imusic.b-cdn.net/images/item/original/888/9783540705888.jpg?andrei-voronkov-2008-rewriting-techniques-and-applications-19th-international-conference-rta-2008-hagenberg-austria-july-15-17-2008-proceedings-theoretical-computer-science-and-general-issues-paperback-bog&class=scaled&v=1573875274)
![Cover for Andrei Voronkov · Logic Programming: First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990. Second Russian Conference on Logic Programming, St.Petersburg, Russia, September 11-16, 1991. Proceedings - Lecture Notes in Artificial Intelligence (Paperback Bog) [1992 edition] (1992)](https://imusic.b-cdn.net/images/item/original/608/9783540554608.jpg?andrei-voronkov-1992-logic-programming-first-russian-conference-on-logic-programming-irkutsk-russia-september-14-18-1990-second-russian-conference-on-logic-programming-st-petersburg-russia-september-11-16-1991-proceedings-lecture-notes-in-artificial-intell&class=scaled&v=1573875266)
Se alt med Andrei Voronkov ( f.eks. Paperback Bog og Hardcover bog )