Computer Aided Reasoning Two Volume Set

by: Matt Kaufmann · Panagiotis Manolios · J Strother Moore

Paperback

details (USA).

ISBN: 978-0-7923-7880-8

ISBN-10: 0-7923-7880-6

Springer · 2000