%0 Conference Paper %1 conf/jfplc/RansonL92 %A Ranson, D. %A Lepape, J. P. %B JFPL %D 1992 %E Delahaye, Jean-Paul %E Devienne, Philippe %E Mathieu, Philippe %E Yim, Pascal %K dblp %P 35-50 %T BOCAL: Bibliothèque d'objets pour le traitement des contraintes arithméthiques et logiques. %U http://dblp.uni-trier.de/db/conf/jfplc/jfpl1992.html#RansonL92

@inproceedings{conf/jfplc/RansonL92, added-at = {2004-06-25T00:00:00.000+0200}, author = {Ranson, D. and Lepape, J. P.}, biburl = {https://www.bibsonomy.org/bibtex/28bcf0d15ff0f9daba9194235bacc2e2a/dblp}, booktitle = {JFPL}, crossref = {conf/jfplc/1992}, date = {2004-06-25}, description = {dblp}, editor = {Delahaye, Jean-Paul and Devienne, Philippe and Mathieu, Philippe and Yim, Pascal}, interhash = {907c325231f513be05a0234210d033e6}, intrahash = {8bcf0d15ff0f9daba9194235bacc2e2a}, keywords = {dblp}, pages = {35-50}, timestamp = {2004-06-25T00:00:00.000+0200}, title = {BOCAL: Bibliothèque d'objets pour le traitement des contraintes arithméthiques et logiques.}, url = {http://dblp.uni-trier.de/db/conf/jfplc/jfpl1992.html#RansonL92}, year = 1992 }