2009 | ||
---|---|---|
3 | EE | Nina Gierasimczuk: Learning by Erasing in Dynamic Epistemic Logic. LATA 2009: 362-373 |
2007 | ||
2 | EE | Nina Gierasimczuk: Identification through Inductive Verification. TbiLLC 2007: 193-205 |
2005 | ||
1 | EE | Nina Gierasimczuk: The Problem of Learning the Semantics of Quantifiers. TbiLLC 2005: 117-126 |