%0 Conference Paper %1 conf/lopstr/BoeckC93 %A Boeck, Pierre De %A Charlier, Baudouin Le %B LOPSTR %D 1993 %E Deville, Yves %I Springer %K dblp %P 229-245 %T Mechanical Transformation of Logic Definitions Augmented with Type Information into Prolog Procedures: Some Experiments. %U http://dblp.uni-trier.de/db/conf/lopstr/lopstr93.html#BoeckC93 %@ 0-387-19864-4

@inproceedings{conf/lopstr/BoeckC93, added-at = {2014-02-10T00:00:00.000+0100}, author = {Boeck, Pierre De and Charlier, Baudouin Le}, biburl = {https://www.bibsonomy.org/bibtex/276e46b2c0bf21484e50231877c6c3bb5/dblp}, booktitle = {LOPSTR}, crossref = {conf/lopstr/1993}, editor = {Deville, Yves}, interhash = {90339745312752fb845812d311dcd897}, intrahash = {76e46b2c0bf21484e50231877c6c3bb5}, isbn = {0-387-19864-4}, keywords = {dblp}, pages = {229-245}, publisher = {Springer}, series = {Workshops in Computing}, timestamp = {2015-06-19T01:16:35.000+0200}, title = {Mechanical Transformation of Logic Definitions Augmented with Type Information into Prolog Procedures: Some Experiments.}, url = {http://dblp.uni-trier.de/db/conf/lopstr/lopstr93.html#BoeckC93}, year = 1993 }