MPG.eBooks - Search Results - "Mathematical Software"

Search alternatives:
mathematical » mathematics

Cover Image

1

Theorem Proving in Higher Order Logics : 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings

Published 1999

Springer Berlin Heidelberg

Subjects: “...Mathematical Software...”