Computer-Aided Reasoning: An Approach (Advances in Formal Methods) (Pt. 1)

by: Matt Kaufmann · Panagiotis Manolios · J Strother Moore Hardcover details (USA). ISBN: 978-0-7923-7744-3 ISBN-10: 0-7923-7744-3 Springer · 2000