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

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

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