المؤلفون: CIALDEA, Marta

المساهمون: Cialdea, Marta

مصطلحات موضوعية: educational support system, logic based tool, abduction

Relation: info:eu-repo/semantics/altIdentifier/isbn/978-3-642-02715-4; info:eu-repo/semantics/altIdentifier/wos/WOS:000271335100012; ispartofbook:Automated Resoning with Analytic Tableaux and Related Methods (TABLEAUX 2009). , pages 167-172; The 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods; volume:5607; firstpage:167; lastpage:172; numberofpages:6; journal:LECTURE NOTES IN ARTIFICIAL INTELLIGENCE; http://hdl.handle.net/11590/184706; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-77956322456

الاتاحة: http://hdl.handle.net/11590/184706
https://doi.org/10.1007/978-3-642-02716-1_13

المؤلفون: Marta Cialdea Mayer

المساهمون: Cialdea, Marta

المصدر: Lecture Notes in Computer Science ISBN: 9783642027154
TABLEAUX

مصطلحات موضوعية: business.industry, Logical reasoning, media_common.quotation_subject, abduction, Propositional calculus, Presentation, Support system, Artificial intelligence, logic based tool, business, educational support system, Generative grammar, media_common, Mathematics, Multiple choice

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3a3464f2c2ee646e07cbc3c613f2b02b
https://hdl.handle.net/11590/184706