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

Automated Deduction in Geometry : Second International Workshop, ADG’98 Beijing, China, August 1–3, 1998 Proceedings

by Gao, Xiao-Shan
Published 1999

Springer-Verlag Berlin Heidelberg

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