%0 Conference Paper %1 conf/icalt/TretiakovCKH05 %A Tretiakov, Alexei %A Chen, Nian-Shing %A Kinshuk, %A Hartmann, Sven %B ICALT %D 2005 %I IEEE Computer Society %K dblp %P 459-463 %T Formal Logic as a Learning Facilitation Tool %U http://dblp.uni-trier.de/db/conf/icalt/icalt2005.html#TretiakovCKH05 %@ 0-7695-2338-2

@inproceedings{conf/icalt/TretiakovCKH05, added-at = {2015-07-01T00:00:00.000+0200}, author = {Tretiakov, Alexei and Chen, Nian-Shing and Kinshuk and Hartmann, Sven}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2f0e2a6c43f549e2d767192124a54f94a/dblp}, booktitle = {ICALT}, crossref = {conf/icalt/2005}, ee = {http://doi.ieeecomputersociety.org/10.1109/ICALT.2005.159}, interhash = {99ccdb79cf802c0d61fb1cf42d913450}, intrahash = {f0e2a6c43f549e2d767192124a54f94a}, isbn = {0-7695-2338-2}, keywords = {dblp}, pages = {459-463}, publisher = {IEEE Computer Society}, timestamp = {2016-02-02T16:07:25.000+0100}, title = {Formal Logic as a Learning Facilitation Tool}, url = {http://dblp.uni-trier.de/db/conf/icalt/icalt2005.html#TretiakovCKH05}, year = 2005 }