|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 31 publication records. Showing 31 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Patrick Blackburn, Hans van Ditmarsch, María Manzano, Fernando Soler-Toscano (eds.) |
Tools for Teaching Logic - Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings  |
TICTTL  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Aránzazu San Ginés |
Visual Tools for Teaching Propositional Logic. |
TICTTL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Laurence Goldstein |
Adding a Dimension to Logic Diagramming. |
TICTTL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | João F. Ferreira 0001, Alexandra Mendes, Alcino Cunha, Carlos Baquero, Paulo F. Silva 0001, Luís Soares Barbosa, José Nuno Oliveira |
Logic Training through Algorithmic Problem Solving. |
TICTTL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Katarzyna Budzynska |
Araucaria-PL: Software for Teaching Argumentation Theory. |
TICTTL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gladys Palau, Ana Couló |
Systematic Errors as an Input for Teaching Logic. |
TICTTL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ludmila Dostálová, Jaroslav Lang |
ORGANON: Learning Management System for Basic Logic Courses. |
TICTTL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Terrematte, Fabrício Costa, João Marcos 0001 |
Logicamente: A Virtual Learning Environment for Logic Based on Learning Objects. |
TICTTL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonia Huertas, Josep M. Humet, Laura López, Enric Mor |
The SELL Project: A Learning Tool for E-Learning Logic. |
TICTTL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Bradley |
CT2.0: A Collaborative Database of Examples for Teaching Informal Logic. |
TICTTL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Gasquet, François Schwarzentruber, Martin Strecker |
Satoulouse: The Computational Power of Propositional Logic Shown to Beginners. |
TICTTL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Jaspars, Fernando R. Velázquez-Quesada |
Logic in Action - An Open Logic Courseware Project. |
TICTTL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Xóchitl Martínez Nava |
Mhy Bib I Fail Logic? Dyslexia in the Teaching of Logic. |
TICTTL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rein Prank, Mart Anton |
Using a Learner- and Teacher-Friendly Environment for Turing Machine Programming and Testing. |
TICTTL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | James M. Henle |
The Many Rewards of Putting Absolutely Everything into Introductory Logic. |
TICTTL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Gasquet, François Schwarzentruber, Martin Strecker |
Panda: A Proof Assistant in Natural Deduction for All. A Gentzen Style Proof Assistant for Undergraduate Students. |
TICTTL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Begoña Carrascal |
Teaching Logic in Philosophy. |
TICTTL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
TICTTL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonia Huertas |
Ten Years of Computer-Based Tutors for Teaching Logic 2000-2010: Lessons Learned. |
TICTTL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesús Alcolea-Banegas |
Teaching Argumentation Theory and Practice: The Case of 12 Angry Men. |
TICTTL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
TICTTL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Roderic A. Girle |
The Question of the Question in Critical Thinking? |
TICTTL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Gasquet, François Schwarzentruber |
Concrete Epistemic Modal Logic: Flatland. |
TICTTL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Susanna S. Epp |
Variables in Mathematics Education. |
TICTTL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Chris Reed 0001, Simon Wells, Mark Snaith, Katarzyna Budzynska, John Lawrence |
Using an Argument Ontology to Develop Pedagogical Tool Suites. |
TICTTL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrique Alonso |
E-learning and Semantic Technologies: Tools and Concepts. |
TICTTL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Luis Adrian Urtubey |
A Framework for Coping with Logically-Minded Arguments in Philosophy. |
TICTTL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ángel Nepomuceno-Fernández |
Information-Theoretic Perspective for Teaching Logic. |
TICTTL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos A. Oller |
Teaching Sound Principles about Invalidity. |
TICTTL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Josje Lodder, Bastiaan Heeren |
A Teaching Tool for Proving Equivalences between Logical Formulae. |
TICTTL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Moris Polanco |
The AProS Project: Teaching Logic to Business and Engineering Students. |
TICTTL |
2011 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #31 of 31 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license