作者 Andrei Voronkov 的书籍 - BookPine

Perspectives of System Informatics: 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected ... Notes in Computer Science Book 10742)

Perspectives of System Informatics: 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected ... Notes in Computer Science Book 10742)

Alexander K. Petrenko

Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, ... Computer Science and General Issues)

Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, ... Computer Science and General Issues)

Martin D. Davis

Handbook of Automated Reasoning

Handbook of Automated Reasoning

J. Alan Robinson

Perspectives of Systems Informatics

Perspectives of Systems Informatics

Pnueli Amir

Logic for Programming and Automated Reasoning: 6th International Conference, Lpar'99 Tbilisi, Georgia, September 6-10, 1999 Proceedings. Lecture Notes in Artificial Intelligence, Volume 1705, Subseries of Lecture Notes in Computer Science.

Logic for Programming and Automated Reasoning: 6th International Conference, Lpar'99 Tbilisi, Georgia, September 6-10, 1999 Proceedings. Lecture Notes in Artificial Intelligence, Volume 1705, Subseries of Lecture Notes in Computer Science.

Harald Ganzinger

Rewriting Techniques and Applications

Rewriting Techniques and Applications

Andrei Voronkov

Rewriting Techniques and Applications: 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings

Rewriting Techniques and Applications: 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings

Andrei Voronkov

Computer Science - Theory and Applications: Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September ...

Computer Science - Theory and Applications: Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September ...

Mikhail Volkov

Transactions and Change in Logic Databases: International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and Ilps'97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and ...

Transactions and Change in Logic Databases: International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and Ilps'97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and ...

Burkhard Freitag

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

Andrei Voronkov

Handbook of Automated Reasoning

Handbook of Automated Reasoning

Alan J.A. Robinson

Transactions and Change in Logic Databases: International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September ...

Transactions and Change in Logic Databases: International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September ...

Burkhard Freitag

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

Andrei Voronkov

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

Andrei Voronkov

Logic Programming: First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990. Second Russian Conference on Logic Programming Lecture Notes in Artificial Intelligence 592

Logic Programming: First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990. Second Russian Conference on Logic Programming Lecture Notes in Artificial Intelligence 592

Andrei Voronkov

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

Andrei Voronkov

Logic Programming

Logic Programming

Andrei Voronkov