Automated Reasoning and Its Applications
Subtitle: Essays in Honor of Larry Wos
Publisher: The MIT Press
Published: June 6, 1997
Language: eng
Format: Hardcover
Number of pages: 257
ISBN-13: 9780262220552
Subjects: Knowledge-based systems / expert systems; Machine learning; Software engineering; Automata; Computers; Computers - General Information; Computer Books: General; Artificial Intelligence - General; Logic; Computers / Artificial Intelligence; Computer Science; Automatic theorem proving
First sentence: This festschrift is being written in honor of our colleague Larry Wos.