Andrei Voronkov's Documents

Andrei Voronkov's Documents

Automated Deduction - CADE-18: 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings

Automated Deduction - CADE-18: 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings
Read more
Logic Programming and Automated Reasoning: International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings

Logic Programming and Automated Reasoning: International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings
Read more
Logic Programming

Logic Programming
Read more
Perspectives of Systems Informatics, 6 conf., PSI 2006

Perspectives of Systems Informatics, 6 conf., PSI 2006
Read more
Logic Programming and Automated Reasoning: 4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings

Logic Programming and Automated Reasoning: 4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings
Read more
Rewriting Techniques and Applications, 19 conf., RTA 2008

Rewriting Techniques and Applications, 19 conf., RTA 2008
Read more
Lecture Notes in Artificial Intelligence

Lecture Notes in Artificial Intelligence
Read more
Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings
Read more
Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings
Read more
Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings

Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings
Read more
Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005,

Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005,
Read more
Logic for Programming, Artificial Intelligence, and Reasoning, 14 conf., LPAR 2007

Logic for Programming, Artificial Intelligence, and Reasoning, 14 conf., LPAR 2007
Read more
Logic for Programming, Artificial Intelligence, and Reasoning: 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006,

Logic for Programming, Artificial Intelligence, and Reasoning: 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006,
Read more
Lecture Notes in Artificial Intelligence

Lecture Notes in Artificial Intelligence
Read more
Logic for Programming, Artificial Intelligence, and Reasoning

Logic for Programming, Artificial Intelligence, and Reasoning
Read more
Logic for programming and automated reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999: proceedings

Logic for programming and automated reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999: proceedings
Read more
Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised ... Computer Science and General Issues)

Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised ... Computer Science and General Issues)
Read more
Computer Science - Theory and Applications: Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7,

Computer Science - Theory and Applications: Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7,
Read more
Automated deduction-CADE-18: 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings (Lecture Notes in Artificial Intelligence 2392)

Automated deduction-CADE-18: 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings (Lecture Notes in Artificial Intelligence 2392)
Read more
Thirst

Thirst
Read more
Circle-Valued Morse Theory

Circle-Valued Morse Theory
Read more
Modern C++ Design: Generic Programming and Design Patterns Applied

Modern C++ Design: Generic Programming and Design Patterns Applied
Read more
Nonlinear Waves and Solitons on Contours and Closed Surfaces

Nonlinear Waves and Solitons on Contours and Closed Surfaces
Read more
Nonlinear waves and solitons on contours and closed surfaces

Nonlinear waves and solitons on contours and closed surfaces
Read more
Minima moralia

Minima moralia
Read more
C++ - Modern C++ Design. Generic Programming and Design Patterns Applied

C++ - Modern C++ Design. Generic Programming and Design Patterns Applied
Read more
Dynamic Analysis of Petri Net-Based Discrete Systems

Dynamic Analysis of Petri Net-Based Discrete Systems
Read more
Once Upon the River Love

Once Upon the River Love
Read more
Dealing with DNA Evidence: A Legal Guide

Dealing with DNA Evidence: A Legal Guide
Read more
The Poetry Lesson

The Poetry Lesson
Read more