MPG.eBooks - Search Results - "mathematical logic and formal language"

Search alternatives:
"mathematical logic and formal language" » "mathematical logic and formal languages", "mathematics logic and formal language"

Cover Image

1

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

Cover Image

2

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

Cover Image

3

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

Cover Image

4

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

Cover Image

5

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