Computer-Aided Reasoning
Subtitle: An Approach (Advances in Formal Methods)
Edition: 1 edition
Publisher: Springer
Published: July 31, 2000
Language: eng
Format: Hardcover
Number of pages: 292
ISBN-13: 9780792377443
Subjects: Knowledge-based systems / expert systems; Formal methods (Computer science); Computers - General Information; Programming - Software Development; Formal Language Theory; Software Engineering; Computers; Formal methods (Computer scien; Computer Books: General; Expert systems (Computer scien; Artificial Intelligence - General; General; Computers / Artificial Intelligence; Computers / Computer Science; Computers-Programming - Software Development; Mathematics-General; Computer Science; Sotware engineering; Expert systems (Computer science)