MPG.eBooks - Search Results - "Logic, Symbolic And Mathematical"

Search alternatives:
mathematical » mathematics

Cover Image

1

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: “...Logic, Symbolic and mathematical...”

Cover Image

2

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: “...Logic, Symbolic and mathematical...”