|
|
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
TICTTL ![Springer, 978-3-642-21349-6 The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Aránzazu San Ginés |
Visual Tools for Teaching Propositional Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TICTTL ![In: Tools for Teaching Logic - Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings, pp. 215-222, 2011, Springer, 978-3-642-21349-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Laurence Goldstein |
Adding a Dimension to Logic Diagramming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TICTTL ![In: Tools for Teaching Logic - Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings, pp. 101-108, 2011, Springer, 978-3-642-21349-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TICTTL ![In: Tools for Teaching Logic - Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings, pp. 62-69, 2011, Springer, 978-3-642-21349-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Katarzyna Budzynska |
Araucaria-PL: Software for Teaching Argumentation Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TICTTL ![In: Tools for Teaching Logic - Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings, pp. 30-37, 2011, Springer, 978-3-642-21349-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Gladys Palau, Ana Couló |
Systematic Errors as an Input for Teaching Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TICTTL ![In: Tools for Teaching Logic - Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings, pp. 183-189, 2011, Springer, 978-3-642-21349-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ludmila Dostálová, Jaroslav Lang |
ORGANON: Learning Management System for Basic Logic Courses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TICTTL ![In: Tools for Teaching Logic - Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings, pp. 46-53, 2011, Springer, 978-3-642-21349-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TICTTL ![In: Tools for Teaching Logic - Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings, pp. 223-230, 2011, Springer, 978-3-642-21349-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TICTTL ![In: Tools for Teaching Logic - Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings, pp. 123-130, 2011, Springer, 978-3-642-21349-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Peter Bradley |
CT2.0: A Collaborative Database of Examples for Teaching Informal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TICTTL ![In: Tools for Teaching Logic - Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings, pp. 24-29, 2011, Springer, 978-3-642-21349-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Olivier Gasquet, François Schwarzentruber, Martin Strecker |
Satoulouse: The Computational Power of Propositional Logic Shown to Beginners. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TICTTL ![In: Tools for Teaching Logic - Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings, pp. 77-84, 2011, Springer, 978-3-642-21349-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jan Jaspars, Fernando R. Velázquez-Quesada |
Logic in Action - An Open Logic Courseware Project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TICTTL ![In: Tools for Teaching Logic - Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings, pp. 141-153, 2011, Springer, 978-3-642-21349-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Xóchitl Martínez Nava |
Mhy Bib I Fail Logic? Dyslexia in the Teaching of Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TICTTL ![In: Tools for Teaching Logic - Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings, pp. 162-169, 2011, Springer, 978-3-642-21349-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Rein Prank, Mart Anton |
Using a Learner- and Teacher-Friendly Environment for Turing Machine Programming and Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TICTTL ![In: Tools for Teaching Logic - Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings, pp. 198-206, 2011, Springer, 978-3-642-21349-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | James M. Henle |
The Many Rewards of Putting Absolutely Everything into Introductory Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TICTTL ![In: Tools for Teaching Logic - Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings, pp. 109-122, 2011, Springer, 978-3-642-21349-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TICTTL ![In: Tools for Teaching Logic - Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings, pp. 85-92, 2011, Springer, 978-3-642-21349-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Begoña Carrascal |
Teaching Logic in Philosophy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TICTTL ![In: Tools for Teaching Logic - Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings, pp. 38-45, 2011, Springer, 978-3-642-21349-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TICTTL ![In: Tools for Teaching Logic - Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings, pp. 249-255, 2011, Springer, 978-3-642-21349-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Antonia Huertas |
Ten Years of Computer-Based Tutors for Teaching Logic 2000-2010: Lessons Learned. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TICTTL ![In: Tools for Teaching Logic - Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings, pp. 131-140, 2011, Springer, 978-3-642-21349-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jesús Alcolea-Banegas |
Teaching Argumentation Theory and Practice: The Case of 12 Angry Men. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TICTTL ![In: Tools for Teaching Logic - Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings, pp. 1-8, 2011, Springer, 978-3-642-21349-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TICTTL ![In: Tools for Teaching Logic - Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings, pp. 239-248, 2011, Springer, 978-3-642-21349-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Roderic A. Girle |
The Question of the Question in Critical Thinking? ![Search on Bibsonomy](Pics/bibsonomy.png) |
TICTTL ![In: Tools for Teaching Logic - Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings, pp. 93-100, 2011, Springer, 978-3-642-21349-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Olivier Gasquet, François Schwarzentruber |
Concrete Epistemic Modal Logic: Flatland. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TICTTL ![In: Tools for Teaching Logic - Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings, pp. 70-76, 2011, Springer, 978-3-642-21349-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Susanna S. Epp |
Variables in Mathematics Education. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TICTTL ![In: Tools for Teaching Logic - Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings, pp. 54-61, 2011, Springer, 978-3-642-21349-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TICTTL ![In: Tools for Teaching Logic - Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings, pp. 207-214, 2011, Springer, 978-3-642-21349-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Enrique Alonso |
E-learning and Semantic Technologies: Tools and Concepts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TICTTL ![In: Tools for Teaching Logic - Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings, pp. 9-23, 2011, Springer, 978-3-642-21349-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Luis Adrian Urtubey |
A Framework for Coping with Logically-Minded Arguments in Philosophy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TICTTL ![In: Tools for Teaching Logic - Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings, pp. 231-238, 2011, Springer, 978-3-642-21349-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ángel Nepomuceno-Fernández |
Information-Theoretic Perspective for Teaching Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TICTTL ![In: Tools for Teaching Logic - Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings, pp. 170-177, 2011, Springer, 978-3-642-21349-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Carlos A. Oller |
Teaching Sound Principles about Invalidity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TICTTL ![In: Tools for Teaching Logic - Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings, pp. 178-182, 2011, Springer, 978-3-642-21349-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Josje Lodder, Bastiaan Heeren |
A Teaching Tool for Proving Equivalences between Logical Formulae. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TICTTL ![In: Tools for Teaching Logic - Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings, pp. 154-161, 2011, Springer, 978-3-642-21349-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Moris Polanco |
The AProS Project: Teaching Logic to Business and Engineering Students. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TICTTL ![In: Tools for Teaching Logic - Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings, pp. 190-197, 2011, Springer, 978-3-642-21349-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #31 of 31 (100 per page; Change: )
|
|