Matt Kaufmann

Subjects

Software engineering, Computer science, Computer-aided design, Electronic data processing, Artificial Intelligence - General, Artificial intelligence, Automatic theorem proving, Computer Books: General, Computer Science, Computer logic, Computers, Computers - General Information, Computers / Artificial Intelligence, Computers / Computer Science, Computers-Programming - Software Development, Congresses, Expert systems (Computer scien, Expert systems (Computer science), Expert systems (computer science), Formal Language Theory, Formal methods (Computer scien, Formal methods (Computer science), General, Knowledge-based systems / expert systems, Logic design