MPG.eBooks - Search Results - "mathematical logic and foundations"

Search alternatives:
"mathematical logic and foundations" » "mathematics logic and foundations"

Cover Image

1

Higher-Order Algebra, Logic, and Term Rewriting : First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers

Published 1994

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Foundations...”

Cover Image

2

Automated Reasoning : First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings

Published 2001

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Foundations...”

Cover Image

3

Rewriting Techniques and Applications : 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings

Published 1998

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Foundations...”

Cover Image

4

Automated Reasoning : First International Joint Conference, IJCAR 2001 Siena, Italy, June 18–22, 2001 Proceedings

by Goré, Rajeev
Published 2001

Springer-Verlag Berlin Heidelberg

Subjects: “...Mathematical Logic and Foundations...”

Cover Image

5

Rewriting Techniques and Applications : 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings

by Nipkow, Tobias
Published 1998

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Foundations...”