%0 Journal Article %1 journals/igpl/Perez-LanchoJVS07 %A Lancho, Belén Pérez %A Jorge, Elena %A de la Viuda, Ana %A Sanchez, Raquel %D 2007 %J Logic Journal of the IGPL %K dblp %N 4 %P 347-357 %T Software Tools in Logic Education: Some Examples. %U http://dblp.uni-trier.de/db/journals/igpl/igpl15.html#Perez-LanchoJVS07 %V 15

@article{journals/igpl/Perez-LanchoJVS07, added-at = {2009-06-24T00:00:00.000+0200}, author = {Lancho, Belén Pérez and Jorge, Elena and de la Viuda, Ana and Sanchez, Raquel}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/29c8d144b7902c4c79b228663d70a2f00/dblp}, ee = {http://dx.doi.org/10.1093/jigpal/jzm025}, interhash = {b036abfde293e08727b15f43dde95f9c}, intrahash = {9c8d144b7902c4c79b228663d70a2f00}, journal = {Logic Journal of the IGPL}, keywords = {dblp}, number = 4, pages = {347-357}, timestamp = {2016-02-02T08:01:32.000+0100}, title = {Software Tools in Logic Education: Some Examples.}, url = {http://dblp.uni-trier.de/db/journals/igpl/igpl15.html#Perez-LanchoJVS07}, volume = 15, year = 2007 }