Early History and Perspectives of Automated Deduction
KI '07 Proceedings of the 30th annual German conference on Advances in Artificial Intelligence
Research perspectives for logic and deduction
Reasoning, Action and Interaction in AI Theories and Systems
Hi-index | 0.00 |