%0 Conference Paper %1 journals/entcs/DemolombeC09 %A Demolombe, Robert %A del Cerro, Luis Fariñas %B LSFA %D 2009 %E Ayala-Rincón, Mauricio %E Kamareddine, Fairouz %I Elsevier %K dblp %P 19-31 %T How to Produce Information About a Given Entity Using Automated Deduction Methods. %U http://dblp.uni-trier.de/db/journals/entcs/entcs256.html#DemolombeC09 %V 256

@inproceedings{journals/entcs/DemolombeC09, added-at = {2021-02-12T00:00:00.000+0100}, author = {Demolombe, Robert and del Cerro, Luis Fariñas}, biburl = {https://www.bibsonomy.org/bibtex/2321274b71ada441c6e40cc4cec2c8479/dblp}, booktitle = {LSFA}, crossref = {conf/lsfa/2009}, editor = {Ayala-Rincón, Mauricio and Kamareddine, Fairouz}, ee = {https://doi.org/10.1016/j.entcs.2009.11.003}, interhash = {93123496eb980d59f8419da50425d9c5}, intrahash = {321274b71ada441c6e40cc4cec2c8479}, keywords = {dblp}, pages = {19-31}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-10T07:27:54.000+0200}, title = {How to Produce Information About a Given Entity Using Automated Deduction Methods.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs256.html#DemolombeC09}, volume = 256, year = 2009 }