%0 Conference Paper %1 conf/agp/EncisoMGO96 %A Enciso, Manuel %A Moncada, J. F. %A de Guzmán, Inman P. %A Ojeda-Aciego, Manuel %B APPIA-GULP-PRODE %D 1996 %E Lucio, Paqui %E Martelli, Maurizio %E Navarro, Marisa %K dblp %P 561-566 %T Executing Intensional Logic with the TAS Tool. %U http://dblp.uni-trier.de/db/conf/agp/agp1996.html#EncisoMGO96

@inproceedings{conf/agp/EncisoMGO96, added-at = {2004-12-02T00:00:00.000+0100}, author = {Enciso, Manuel and Moncada, J. F. and de Guzmán, Inman P. and Ojeda-Aciego, Manuel}, biburl = {https://www.bibsonomy.org/bibtex/251efc8375c363fd12acce38fbf35dc4e/dblp}, booktitle = {APPIA-GULP-PRODE}, crossref = {conf/agp/1996}, date = {2004-12-02}, description = {dblp}, editor = {Lucio, Paqui and Martelli, Maurizio and Navarro, Marisa}, interhash = {a8b296b5ca86d9dda161fe2714f8baa0}, intrahash = {51efc8375c363fd12acce38fbf35dc4e}, keywords = {dblp}, pages = {561-566}, timestamp = {2004-12-02T00:00:00.000+0100}, title = {Executing Intensional Logic with the TAS Tool.}, url = {http://dblp.uni-trier.de/db/conf/agp/agp1996.html#EncisoMGO96}, year = 1996 }