Releases von Andrei Voronkov

Auf Lager bei iMusic Nicht verfügbare Artikel anzeigen

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 (Taschenbuch) [2015 edition] (2015)

Perspectives of System Informati... (2015)

Andrei Voronkov

Cover for Andrei Voronkov · Programming Logics: Essays in Memory of Harald Ganzinger - Theoretical Computer Science and General Issues (Taschenbuch) [2013 edition] (2013)

Programming Logics: Essays in Me... (2013)

Andrei Voronkov

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 (Taschenbuch) [2008 edition] (2008)

Rewriting Techniques and Applica... (2008)

Andrei Voronkov

Cover for Andrei Voronkov · Handbook of Automated Reasoning (Gebundenes Buch) (2001)

Gebundenes Buch

Handbook of Automated Reasoning (2001)

Andrei Voronkov

Cover for Andrei Voronkov · Logic Programming and Automated Reasoning: 4th International Conference, Lpar '93, St.petersburg, Russia, July 13-20, 1993 - Proceedings - Lecture Notes in Computer Science (Taschenbuch) (1993)

Logic Programming and Automated ... (1993)

Andrei Voronkov

Cover for Andrei Voronkov · Logic Programming and Automated Reasoning: International Conference, Lpar '92, St.petersburg, Russia, July 15-20, 1992 - Proceedings - Lecture Notes in Computer Science (Taschenbuch) (1992)

Logic Programming and Automated ... (1992)

Andrei Voronkov

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 (Taschenbuch) [1992 edition] (1992)

Logic Programming: First Russian... (1992)

Andrei Voronkov