default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID3. TICTTL 2011: Salamanca, Spain
- Patrick Blackburn, Hans van Ditmarsch, María Manzano, Fernando Soler-Toscano:
Tools for Teaching Logic - Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings. Lecture Notes in Computer Science 6680, Springer 2011, ISBN 978-3-642-21349-6 - Jesús Alcolea-Banegas:
Teaching Argumentation Theory and Practice: The Case of 12 Angry Men. 1-8 - Enrique Alonso:
E-learning and Semantic Technologies: Tools and Concepts. 9-23 - Peter Bradley:
CT2.0: A Collaborative Database of Examples for Teaching Informal Logic. 24-29 - Katarzyna Budzynska:
Araucaria-PL: Software for Teaching Argumentation Theory. 30-37 - Begoña Carrascal:
Teaching Logic in Philosophy. 38-45 - Ludmila Dostálová
, Jaroslav Lang:
ORGANON: Learning Management System for Basic Logic Courses. 46-53 - Susanna S. Epp:
Variables in Mathematics Education. 54-61 - João F. Ferreira, Alexandra Mendes, Alcino Cunha, Carlos Baquero, Paulo F. Silva, Luís Soares Barbosa, José Nuno Oliveira:
Logic Training through Algorithmic Problem Solving. 62-69 - Olivier Gasquet, François Schwarzentruber:
Concrete Epistemic Modal Logic: Flatland. 70-76 - Olivier Gasquet, François Schwarzentruber, Martin Strecker:
Satoulouse: The Computational Power of Propositional Logic Shown to Beginners. 77-84 - Olivier Gasquet, François Schwarzentruber, Martin Strecker:
Panda: A Proof Assistant in Natural Deduction for All. A Gentzen Style Proof Assistant for Undergraduate Students. 85-92 - Roderic A. Girle:
The Question of the Question in Critical Thinking? 93-100 - Laurence Goldstein:
Adding a Dimension to Logic Diagramming. 101-108 - James M. Henle:
The Many Rewards of Putting Absolutely Everything into Introductory Logic. 109-122 - Antonia Huertas, Josep M. Humet, Laura López, Enric Mor:
The SELL Project: A Learning Tool for E-Learning Logic. 123-130 - Antonia Huertas:
Ten Years of Computer-Based Tutors for Teaching Logic 2000-2010: Lessons Learned. 131-140 - Jan Jaspars, Fernando R. Velázquez-Quesada:
Logic in Action - An Open Logic Courseware Project. 141-153 - Josje Lodder, Bastiaan Heeren:
A Teaching Tool for Proving Equivalences between Logical Formulae. 154-161 - Xóchitl Martínez Nava:
Mhy Bib I Fail Logic? Dyslexia in the Teaching of Logic. 162-169 - Ángel Nepomuceno-Fernández:
Information-Theoretic Perspective for Teaching Logic. 170-177 - Carlos A. Oller:
Teaching Sound Principles about Invalidity. 178-182 - Gladys Palau, Ana Couló:
Systematic Errors as an Input for Teaching Logic. 183-189 - Moris Polanco:
The AProS Project: Teaching Logic to Business and Engineering Students. 190-197 - Rein Prank, Mart Anton:
Using a Learner- and Teacher-Friendly Environment for Turing Machine Programming and Testing. 198-206 - Chris Reed, Simon Wells, Mark Snaith, Katarzyna Budzynska, John Lawrence:
Using an Argument Ontology to Develop Pedagogical Tool Suites. 207-214 - Aránzazu San Ginés:
Visual Tools for Teaching Propositional Logic. 215-222 - Patrick Terrematte, Fabrício Costa, João Marcos:
Logicamente: A Virtual Learning Environment for Logic Based on Learning Objects. 223-230 - Luis Adrian Urtubey:
A Framework for Coping with Logically-Minded Arguments in Philosophy. 231-238 - Rafael del Vado Vírseda, Eva Pilar Orna, Eduardo Berbis, Saúl de León Guerrero:
A Logic Teaching Tool Based on Tableaux for Verification and Debugging of Algorithms. 239-248 - Frank Zenker, Christian Gottschall, Albert Newen, Raphael van Riel, Gottfried Vosgerau:
Designing an Introductory Course to Elementary Symbolic Logic within the Blackboard E-learning Environment. 249-255
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-27 20:33 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
