| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| 2 |      | Josje Lodder, Bastiaan Heeren: A Teaching Tool for Proving Equivalences between Logical Formulae. TICTTL 2011: 154-161 |
| 2008 | ||
| 1 | | Josje Lodder, Harrie Passier, Sylvia Stuurman: Using IDEAS in Teaching Logic, Lessons Learned. CSSE (5) 2008: 553-556 |
| 1 | Bastiaan Heeren | [2] |
| 2 | Harrie Passier | [1] |
| 3 | Sylvia Stuurman | [1] |
Colors in the list of coauthors
Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page