Title: Formal specification of complex reasoning systems
Subjects: Development, Expert systems (Computer science), Congresses, Computer software, Artificial intelligence, Software engineering, Expert Systems, Software Development, Computers - General Information, Expert systems (Computer scien, Science/Mathematics