Automated Deduction -- A Basis for Applications Volume I Foundations -- Calculi and Methods

by Peter H. Schmitt

Hardcover

ISBN: 978-0-7923-5132-0

ISBN-10: 0-7923-5132-0

Springer · 1998