MPG.eBooks - Search Results

Cover Image

1

Perspectives of System Informatics : 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers

Published 2018

Springer International Publishing

Cover Image

2

Handbook of automated reasoning, Volume II

by Robinson, J. A.
Published 2001

Elsevier

Cover Image

3

Perspectives of System Informatics : 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers

Published 2019

Springer International Publishing

Cover Image

4

Perspectives of Systems Informatics : 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers

Published 2010

Springer Berlin Heidelberg

Cover Image

5

Logic for Programming, Artificial Intelligence, and Reasoning : 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings

Published 2006

Springer Berlin Heidelberg

Cover Image

6

Perspectives of Systems Informatics : 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006, Revised Papers

Published 2007

Springer Berlin Heidelberg

Cover Image

7

Logic for Programming, Artificial Intelligence, and Reasoning : 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings

Published 2007

Springer Berlin Heidelberg

Cover Image

8

Logic for Programming, Artificial Intelligence, and Reasoning : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings

Published 2008

Springer Berlin Heidelberg

Cover Image

9

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

Published 2008

Springer Berlin Heidelberg

Cover Image

10

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

Published 2007

Springer Berlin Heidelberg

Cover Image

11

Logic for Programming, Artificial Intelligence, and Reasoning : 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings

Published 2005

Springer Berlin Heidelberg

Cover Image

12

Perspectives of Systems Informatics : 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27 - July 1, 2011, Revised Selected Papers

Published 2012

Springer Berlin Heidelberg

Cover Image

13

Logic for Programming, Artificial Intelligence, and Reasoning : 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings

Published 2012

Springer Berlin Heidelberg

Cover Image

14

Programming Logics : Essays in Memory of Harald Ganzinger

Published 2013

Springer Berlin Heidelberg

Cover Image

15

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-C...

by Freitag, Burkhard
Published 1998

Springer Berlin Heidelberg

Cover Image

16

Logic for Programming, Artificial Intelligence, and Reasoning : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings

Published 2013

Springer Berlin Heidelberg

Cover Image

17

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

by Voronkov, Andrei
Published 1992

Springer

Cover Image

18

Logic Programming and Automated Reasoning : 4th International Conference, LPAR'93 St. Petersburg, Russia, July 13–20, 1993 Proceedings

by Voronkov, Andrei
Published 1993

Springer

Cover Image

19

Logic Programming : First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990. Second Russian Conference on Logic Programming, St.Petersburg, Russia, Se...

Published 1992

Springer Berlin Heidelberg

Cover Image

20

Logic Programming and Automated Reasoning : 4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings

Published 1993

Springer Berlin Heidelberg

1
2