Thirty Five Years of Automating Mathematics (Applied Logic Series)

Mathematics

by F.D. Kamareddine

Hardcover

ISBN: 978-1-4020-1656-1

ISBN-10: 1-4020-1656-5

Springer · 2003