Search Results - Voronkov, Andrei, 1959-
Andrei Voronkov
![Andrei Voronkov at the [[Alan Turing Centenary Conference]], June 24th, 2012](https://upload.wikimedia.org/wikipedia/commons/c/c6/Andrei_Voronkov_-_Turing_100_-_2012_-_Portrait.jpg)
- Showing 1 - 20 results of 22
- Go to Next Page
-
1
Rewriting techniques and applications : 19th international conference, RTA 2008, Hagenberg, Austria, July 15-17, 2008 : proceedings by International Conference on Rewriting Techniques and Applications Hagenberg im Mü̈hlkreis, Austria, SpringerLink (Online service)
Published: Springer, 2008Other Authors: “…Voronkov, Andrei, 1959-…”Description: 1 online resource (xiii, 455 pages) : illustrations.
Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
Conference Proceeding eBook -
2
Perspectives of systems informatics : 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006 ; revised papers by International Andrei Ershov Memorial Conference Novosibirsk, Russia, SpringerLink (Online service)
Published: Springer, 2007Other Authors:Description: 1 online resource (xiv, 496 pages) : illustrations.Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
Conference Proceeding eBook -
3
Logic for programming, artificial intelligence, and reasoning : 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings by LPAR 2004 Montevideo, Uruguay, SpringerLink (Online service)
Published: Springer, 2005Other Authors:Description: 1 online resource (xi, 562 pages) : illustrations.Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
Conference Proceeding eBook -
4
Logic for programming, artificial intelligence, and reasoning : 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005 : proceedings by LPAR (Conference), SpringerLink (Online service)
Published: Springer, 2005Other Authors:Description: 1 online resource (xiv, 744 pages) : illustrations.Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
Conference Proceeding eBook -
5
Logic for programming, artificial intelligence, and reasoning : 14th international conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007 : proceedings by LPAR (Conference) Yerevan, Armenia), SpringerLink (Online service)
Published: Springer, 2007Other Authors:Description: 1 online resource (xiii, 562 pages) : illustrations.Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
Conference Proceeding eBook -
6
Logic for programming, artificial intelligence, and reasoning : 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings by LPAR (Conference) Mérida, Venezuela), SpringerLink (Online service)
Published: Springer, 2012Other Authors:Description: 1 online resource (xi, 446 pages).Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
Conference Proceeding eBook -
7
Programming logics : essays in memory of Harald Ganzinger by SpringerLink (Online service)
Published: Springer, 2013Other Authors: “…Voronkov, Andrei, 1959-…”Description: 1 online resource (x, 445 pages) : illustrations.
Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
eBook -
8
Perspectives of system informatics : 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised selected papers by International Andrei Ershov Memorial Conference Saint Petersburg, Russia, SpringerLink (Online service)
Published: Springer, 2015Other Authors: “…Voronkov, Andrei, 1959-…”Description: 1 online resource (xiii, 415 pages) : illustrations.
Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
Conference Proceeding eBook -
9
Perspectives of system informatics : 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015,... by International Andrei Ershov Memorial Conference Kazanʹ and Innopolis, Russia, SpringerLink (Online service)
Published: Springer, 2016Other Authors:Description: 1 online resource (x, 341 pages) : illustrations.Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
Conference Proceeding eBook -
10
Logic for programming, artificial intelligence, and reasoning : 13th international conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006 : proceedings by LPAR (Conference), SpringerLink (Online service)
Published: Springer, 2006Other Authors:Description: 1 online resource (xiii, 588 pages) : illustrations.Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
Conference Proceeding eBook -
11
Logic for programming, artificial intelligence, and reasoning : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, proceedings by LPAR (Conference) Dawhah, Qatar), SpringerLink (Online service)
Published: Springer-Verlag, 2008Other Authors:Description: 1 online resource.Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
Conference Proceeding eBook -
12
Logic for programming, artificial Intelligence, and reasoning : 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010 : proceedings by LPAR (Conference) Yogyakarta, Indonesia), SpringerLink (Online service)
Published: Springer, 2010Other Authors:Description: 1 online resource (xii, 656 pages) : illustrations.Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
Conference Proceeding eBook -
13
Perspectives of System Informatics : 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2-5, 2019, Revised Selected Papers by International Andrei Ershov Memorial Conference Novosibirsk, Russia, SpringerLink (Online service)
Published: Springer, 2019Other Authors:Description: 1 online resource (279 pages).Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
Conference Proceeding eBook -
14
Handbook of automated reasoning by ScienceDirect (Online service)
Published: Elsevier ; MIT Press, 2001Other Authors:Description: 1 online resource (2 volumes (xxv, 2122 pages)) : illustrations.Call Number: Loading…Elsevier - Click here for access
Located: Loading…
eBook -
15
Computer science -- theory and applications : Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007 : proceedings by International Computer Science Symposium in Russia Ekaterinburg, Russia, SpringerLink (Online service)
Published: Springer, 2007Other Authors:Description: 1 online resource (xiii, 420 pages) : illustrations.Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
Conference Proceeding eBook -
16
Perspectives of systems informatics : 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009 : revised papers by International Andrei Ershov Memorial Conference Novosibirsk, Russia, SpringerLink (Online service)
Published: Springer, 2010Other Authors:Description: 1 online resource (xiii, 426 pages) : illustrations.Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
Conference Proceeding eBook -
17
Logic for programming, artificial intelligence, and reasoning : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, proceedings by LPAR (Conference) Stellenbosch, South Africa), SpringerLink (Online service)
Published: Springer, 2013Other Authors:Description: 1 online resource (xiv, 794 pages) : illustrations.Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
Conference Proceeding eBook -
18
Perspectives of systems informatics : 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers by International Andrei Ershov Memorial Conference Moscow, Russia, SpringerLink (Online service)
Published: Springer, 2018Other Authors:Description: 1 online resource (XI, 432 pages) : 80 illustrations.Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
Conference Proceeding eBook -
19
Logic for Programming, Artificial Intelligence, and Reasoning : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings by SpringerLink (Online service)
Published: Springer Berlin Heidelberg : Imprint : Springer, 2013Other Authors:Description: 1 online resource (XIV, 794 pages 178 illustrations) : online resource.Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
eBook -
20
Logic for programming, artificial intelligence, and reasoning : 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015 : proceedings by LPAR (Conference) Suva, Fiji), SpringerLink (Online service)
Published: Springer, 2015Other Authors:Description: 1 online resource.Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
Conference Proceeding eBook
Search Tools:
Related Subjects
Computer science
Logic programming
Artificial intelligence
Computer programming
Automatic theorem proving
Software engineering
Systems engineering
Computer logic
Computer science Mathematics
Logic, Symbolic and mathematical
Programming languages (Electronic computers)
Algorithms
Computer graphics
Computer systems
Engineering
Qualitative reasoning
Rewriting systems (Computer science)