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

Search alternatives:
mathematical » mathematics

Cover Image

1

Automated Deduction - CADE-17 : 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings

by McAllester, David
Published 2000

Springer Berlin Heidelberg

Subjects: “...Logic, Symbolic and mathematical...”