Vertel uw vrienden over dit artikel:
Programming Logics: Essays in Memory of Harald Ganzinger - Theoretical Computer Science and General Issues Andrei Voronkov 2013 edition
Prijs
€ 52,49
Besteld in een afgelegen magazijn
Verwachte levering 1 - 9 jan. 2026
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld
Onze klanten zeggen:
Voeg toe aan uw iMusic-verlanglijst
of
Programming Logics: Essays in Memory of Harald Ganzinger - Theoretical Computer Science and General Issues
Andrei Voronkov
This Festschrift volume, published in memory of Harald Ganzinger, contains 17 papers from colleagues all over the world and covers all the fields to which Harald Ganzinger dedicated his work during his academic career.
447 pages, 69 black & white illustrations, biography
| Media | Boeken Paperback Book (Boek met zachte kaft en gelijmde rug) |
| Vrijgegeven | 3 april 2013 |
| ISBN13 | 9783642376504 |
| Uitgevers | Springer-Verlag Berlin and Heidelberg Gm |
| Genre | Aspects (Academic) > Science / Technology Aspects |
| Pagina's | 447 |
| Afmetingen | 155 × 235 × 23 mm · 639 g |
| Taal en grammatica | Frans |
| Uitgever | Voronkov, Andrei |
| Uitgever | Weidenbach, Christoph |
Meer door Andrei Voronkov
Alles tonen![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 Book) [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-book&class=scaled&v=1573875263)
![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 Book) [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-book&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 Book) [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)
Bekijk alles van Andrei Voronkov ( bijv. Paperback Book en Hardcover Book )