Results 211 to 217 of about 33,057 (217)
Some of the next articles are maybe not open access.

Implementing an automated reasoning system for multi-agent knowledge and time

Lecture Notes in Computer Science, 2005
Lifeng He   +2 more
exaly  

Automated reasoning on UML conceptual schemas with derived information and queries

Information and Software Technology, 2013
Carles Farré   +2 more
exaly  

Automated reasoning and exhaustive search: Quasigroup existence problems

Computers and Mathematics With Applications, 1995
exaly  

Distributed automated reasoning: issues in coordination, cooperation, and performance

IEEE Transactions on Systems, Man, and Cybernetics, 1991
exaly  

Automated Reasoning

Lecture Notes in Computer Science
exaly   +2 more sources

Home - About - Disclaimer - Privacy