Author:
Maestro-Prieto Jose A.,Simon-Hurtado Arancha
Publisher
Springer International Publishing
Reference7 articles.
1. IFIP Advances in Information and Communication Technology;T Chronopoulos,2010
2. de Koning, K., Breuker, J., Wielinga, B., Bredeweg, B.: Model-based reasoning about learner behaviour. Artificial Intelligence 117(2), 173–229 (2000)
3. Lodder, J., Jeuring, J., Passier, H.: An interactive tool for manipulating logical formulae. Tech. Rep. UU-CS-2006-040, DSpace at Utrecht University(Netherlands) (2006).
4. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);JA Maestro,2004
5. Maestro-Prieto, J.A., Simon-Hurtado, M.A.: SLI: a tool for easing the understanding of automated proof construction. ACM Inroads 4(2), 53–56 (2013)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献