Works matching IS 13670751 AND DT 2007 AND VI 15 AND IP 4
Results: 9
Morph Moulder: Teaching Software for HPSG and Description Logics.
- Published in:
- Logic Journal of the IGPL, 2007, v. 15, n. 4, p. 333, doi. 10.1093/jigpal/jzm024
- By:
- Publication type:
- Article
Software Tools in Logic Education: Some Examples.
- Published in:
- Logic Journal of the IGPL, 2007, v. 15, n. 4, p. 347, doi. 10.1093/jigpal/jzm025
- By:
- Publication type:
- Article
Acknowledgements.
- Published in:
- Logic Journal of the IGPL, 2007, v. 15, n. 4, p. 369, doi. 10.1093/jigpal/jzm030
- Publication type:
- Article
The AProS Project: Strategic Thinking & Computational Logic.
- Published in:
- Logic Journal of the IGPL, 2007, v. 15, n. 4, p. 359, doi. 10.1093/jigpal/jzm026
- By:
- Publication type:
- Article
Teaching and Learning Logic in a Virtual Learning Environment.
- Published in:
- Logic Journal of the IGPL, 2007, v. 15, n. 4, p. 321, doi. 10.1093/jigpal/jzm023
- By:
- Publication type:
- Article
Logic for Mathematical Writing.
- Published in:
- Logic Journal of the IGPL, 2007, v. 15, n. 4, p. 313, doi. 10.1093/jigpal/jzm022
- By:
- Publication type:
- Article
Editorial ‘Tools for Teaching Logic’.
- Published in:
- Logic Journal of the IGPL, 2007, v. 15, n. 4, p. 289, doi. 10.1093/jigpal/jzm019
- By:
- Publication type:
- Article
Pandora: A Reasoning Toolbox using Natural Deduction Style.
- Published in:
- Logic Journal of the IGPL, 2007, v. 15, n. 4, p. 293, doi. 10.1093/jigpal/jzm020
- By:
- Publication type:
- Article
ORGANON — The Web Tutor for Basic Logic Courses.
- Published in:
- Logic Journal of the IGPL, 2007, v. 15, n. 4, p. 305, doi. 10.1093/jigpal/jzm021
- By:
- Publication type:
- Article