Languages
Voronkov, Andrei.
Overview
Works: | 1 works in 6 publications in 1 languages |
---|
Titles
Perspectives of systems informatics = 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised selected papers /
by:
Voronkov, Andrei.; SpringerLink (Online service); Clarke, Edmund.; Workshop on the Preservation of Stability under Discretization ((2001 :); Virbitskaite, Irina.
(Language materials, printed)
Logic for programming, artificial intelligence, and reasoning = 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012 : proceedings /
by:
Bjorner, Nikolaj.; Workshop on the Preservation of Stability under Discretization ((2001 :); Voronkov, Andrei.; SpringerLink (Online service)
(Language materials, printed)
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 : revised selected papers /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Mazzara, Manuel.; Voronkov, Andrei.; SpringerLink (Online service)
(Language materials, printed)
Logic for programming, artificial intelligence, and reasoning = 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008 : proceedings /
by:
SpringerLink (Online service); Veith, Helmut.; Cervesato, Iliano.; Voronkov, Andrei.; LPAR 2008 (Dawhah, Qatar)) ((2008 :)
(Language materials, printed)
Logic for Programming, Artificial Intelligence, and Reasoning = 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings /
by:
Voronkov, Andrei.; SpringerLink (Online service); Baader, Franz.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Perspectives of System Informatics = 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers /
by:
Petrenko, Alexander K.; Voronkov, Andrei.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Perspectives of System Informatics = 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers /
by:
Virbitskaite, Irina.; Voronkov, Andrei.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Logic for Programming, Artificial Intelligence, and Reasoning : = 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings
by:
Sutcliffe, Geoff.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Voronkov, Andrei.
(Language materials, printed)
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, Revised Selected Papers /
by:
Mazzara, Manuel.; Voronkov, Andrei.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Rewriting Techniques and Applications = 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings /
by:
Voronkov, Andrei.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Perspectives of System Informatics = 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers /
by:
Virbitskaite, Irina.; Bjørner, Nikolaj.; Voronkov, Andrei.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Logic for Programming, Artificial Intelligence, and Reasoning = 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings /
by:
Davis, Martin.; Voronkov, Andrei.; McIver, Annabelle.; SpringerLink (Online service); Fehnker, Ansgar.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Programming logics = essays in memory of Harald Ganzinger /
by:
SpringerLink (Online service); Voronkov, Andrei.; Weidenbach, Christoph.
(Language materials, printed)
Logic for programming, artificial intelligence, and reasoning = 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Middeldorp, Aart.; McMillan, Ken.; SpringerLink (Online service); Voronkov, Andrei.
(Language materials, printed)
Show more
Fewer
Subjects
Mathematical logic.
Artificial intelligence.
Automatic theorem proving
Symbolic and Algebraic Manipulation.
Computer Communication Networks.
Software engineering.
System Performance and Evaluation.
Logic in AI.
The Computing Profession.
Computer Science.
Programming Techniques.
Computer programming.
Logic programming
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computer science
Special purpose computers.
Systems engineering
Computer communication systems.
Artificial intelligence
Artificial Intelligence (incl. Robotics)
Computer logic
Logic programming.
Artificial Intelligence.
Special Purpose and Application-Based Systems.
Computer system failures.
Computers.
Software engineering
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Computer Imaging, Vision, Pattern Recognition and Graphics.
Computation by Abstract Devices.
Software Engineering.
Logic Computer programming
Algebra
Algorithm Analysis and Problem Complexity.
Computer logic.