Automated Reasoning and Its Applications: Essays in Honor of Larry Wos

Reasoning

by Robert Veroff

Hardcover

details (USA).

ISBN: 978-0-262-22055-2

ISBN-10: 0-262-22055-5

The MIT Press · 1997