Knowledge Representation
cs.man.ac.ukWith Automated Reasoning, Computational Logics and Advanced Databases. Projects, people, conferences and specific resources.
With Automated Reasoning, Computational Logics and Advanced Databases. Projects, people, conferences and specific resources.