MPG.eBooks - Search Results

1

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

Published 1993

Springer Berlin Heidelberg

Subjects: “...Mathematical logic...”

Read Now

2

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

Published 1992

Springer Berlin Heidelberg

Subjects: “...Mathematical logic...”

Read Now

3

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

Table of Contents: “... operational semantics of Parlog Part II: Or-Parallelism -- WAM algebras—A mathematical study of implementation...”

Read Now

4

Logic for Programming and Automated Reasoning : 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings

Published 2000

Springer Berlin Heidelberg

Subjects: “...Mathematical logic...”

Read Now

5

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

Subjects: “...Mathematics of Computing...”

Read Now

6

Logic Programming and Automated Reasoning : 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings

by Ganzinger, Harald
Published 1999

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Formal Languages...”

Read Now

7

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

by Voronkov, Andrei
Published 2002

Springer-Verlag Berlin Heidelberg

Subjects: “...Mathematical Logic and Formal Languages...”

Read Now

8

Logic for Programming, Artificial Intelligence, and Reasoning : 8th International Conference, LPAR 2001 Havana, Cuba, December 3–7, 2001 Proceedings

by Nieuwenhuis, Robert
Published 2001

Springer-Verlag Berlin Heidelberg

Subjects: “...Mathematical Logic and Formal Languages...”

Read Now

9

Logic for Programming, Artificial Intelligence, and Reasoning : 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings

by Vardi, Moshe
Published 2003

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Formal Languages...”

Read Now

10

Logic for Programming, Artificial Intelligence, and Reasoning : 9th International Conference, LPAR 2002 Tbilisi, Georgia, October 14–18, 2002 Proceedings

by Baaz, Matthias
Published 2002

Springer-Verlag Berlin Heidelberg

Subjects: “...Mathematical Logic and Formal Languages...”

Read Now

11

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

Published 2008

Springer Berlin Heidelberg

Subjects: “...Computer science / Mathematics...”

Read Now

12

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

Table of Contents: “...Mathematics of Computing -- Information Systems -- Formal Languages -- Automata Theory -- Algebraic...”

Read Now

13

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

Published 2002

Springer Berlin Heidelberg

Table of Contents: “... Heuristics in SEM -- A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical...”

Read Now

14

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

Table of Contents: “... -- Standardization and Testing of Mathematical Functions -- Using AOP for Discovering and Defining Executable Test...”

Read Now

15

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

Table of Contents: “... Mathematical Model of Architectural Merger -- A Formal Model of Data Privacy -- Linear Complementarity and P...”

Read Now

16

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

Published 2001

Springer Berlin Heidelberg

Table of Contents: “... for Writing Ordinary Mathematical Proofs -- Termination -- On Termination of Meta-programs -- A Monotonic...”

Narrow Search