• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 31 matches

• 2011
• 
  Jesús Alcolea-Banegas:
  Teaching Argumentation Theory and Practice: The Case of 12 Angry Men. TICTTL 2011: 1-8
• 
  Enrique Alonso:
  E-learning and Semantic Technologies: Tools and Concepts. TICTTL 2011: 9-23
• 
  Peter Bradley:
  CT2.0: A Collaborative Database of Examples for Teaching Informal Logic. TICTTL 2011: 24-29
• 
  Katarzyna Budzynska:
  Araucaria-PL: Software for Teaching Argumentation Theory. TICTTL 2011: 30-37
• 
  Begoña Carrascal:
  Teaching Logic in Philosophy. TICTTL 2011: 38-45
• 
  Ludmila Dostálová, Jaroslav Lang:
  ORGANON: Learning Management System for Basic Logic Courses. TICTTL 2011: 46-53
• 
  Susanna S. Epp:
  Variables in Mathematics Education. TICTTL 2011: 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. TICTTL 2011: 62-69
• 
  Olivier Gasquet, François Schwarzentruber:
  Concrete Epistemic Modal Logic: Flatland. TICTTL 2011: 70-76
• 
  Olivier Gasquet, François Schwarzentruber, Martin Strecker:
  Satoulouse: The Computational Power of Propositional Logic Shown to Beginners. TICTTL 2011: 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. TICTTL 2011: 85-92
• 
  Aránzazu San Ginés:
  Visual Tools for Teaching Propositional Logic. TICTTL 2011: 215-222
• 
  Roderic A. Girle:
  The Question of the Question in Critical Thinking? TICTTL 2011: 93-100
• 
  Laurence Goldstein:
  Adding a Dimension to Logic Diagramming. TICTTL 2011: 101-108
• 
  James M. Henle:
  The Many Rewards of Putting Absolutely Everything into Introductory Logic. TICTTL 2011: 109-122
• 
  Antonia Huertas:
  Ten Years of Computer-Based Tutors for Teaching Logic 2000-2010: Lessons Learned. TICTTL 2011: 131-140
• 
  Antonia Huertas, Josep M. Humet, Laura López, Enric Mor:
  The SELL Project: A Learning Tool for E-Learning Logic. TICTTL 2011: 123-130
• 
  Jan Jaspars, Fernando R. Velázquez-Quesada:
  Logic in Action - An Open Logic Courseware Project. TICTTL 2011: 141-153
• 
  Josje Lodder, Bastiaan Heeren:
  A Teaching Tool for Proving Equivalences between Logical Formulae. TICTTL 2011: 154-161
• 
  Xóchitl Martínez Nava:
  Mhy Bib I Fail Logic? Dyslexia in the Teaching of Logic. TICTTL 2011: 162-169
• 
  Ángel Nepomuceno-Fernández:
  Information-Theoretic Perspective for Teaching Logic. TICTTL 2011: 170-177
• 
  Carlos A. Oller:
  Teaching Sound Principles about Invalidity. TICTTL 2011: 178-182
• 
  Gladys Palau, Ana Couló:
  Systematic Errors as an Input for Teaching Logic. TICTTL 2011: 183-189
• 
  Moris Polanco:
  The AProS Project: Teaching Logic to Business and Engineering Students. TICTTL 2011: 190-197
• 
  Rein Prank, Mart Anton:
  Using a Learner- and Teacher-Friendly Environment for Turing Machine Programming and Testing. TICTTL 2011: 198-206
• 
  Chris Reed, Simon Wells, Mark Snaith, Katarzyna Budzynska, John Lawrence:
  Using an Argument Ontology to Develop Pedagogical Tool Suites. TICTTL 2011: 207-214
• 
  Patrick Terrematte, Fabrício Costa, João Marcos:
  Logicamente: A Virtual Learning Environment for Logic Based on Learning Objects. TICTTL 2011: 223-230
• 
  Luis Adrian Urtubey:
  A Framework for Coping with Logically-Minded Arguments in Philosophy. TICTTL 2011: 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. TICTTL 2011: 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. TICTTL 2011: 249-255

skipping 1 more match