Automated Reasoning: 33 Basic Research Problems

Reasoning

by Larry Wos

Paperback

ISBN: 978-0-13-054552-7

ISBN-10: 0-13-054552-X

Prentice Hall · 1987