MPG.eBooks - Search Results - (("mathematical logic and formal language") OR ("mathematics logic and formal language"))

Cover Image

1

Automated Deduction — CADE-16 : 16th International Conference on Automated Deduction Trento, Italy, July 7–10, 1999 Proceedings

by Ganzinger, Harald
Published 1999

Springer-Verlag Berlin Heidelberg

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

Cover Image

2

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