MPG.eBooks - Search Results - (("mathematical logic and formal language") OR ("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...”