%0 Conference Paper %1 conf/micai/Montano-Rivas13 %A Montaño-Rivas, Omar %B MICAI (1) %D 2013 %E Castro-Espinoza, Félix %E Gelbukh, Alexander F. %E González-Mendoza, Miguel %I Springer %K dblp %P 92-109 %T Completion-Based Automated Theory Exploration. %U http://dblp.uni-trier.de/db/conf/micai/micai2013-1.html#Montano-Rivas13 %V 8265 %@ 978-3-642-45113-3

@inproceedings{conf/micai/Montano-Rivas13, added-at = {2021-02-16T00:00:00.000+0100}, author = {Montaño-Rivas, Omar}, biburl = {https://www.bibsonomy.org/bibtex/2150e5c7777fc20b5f45e1ced3a10b46b/dblp}, booktitle = {MICAI (1)}, crossref = {conf/micai/2013-1}, editor = {Castro-Espinoza, Félix and Gelbukh, Alexander F. and González-Mendoza, Miguel}, ee = {https://doi.org/10.1007/978-3-642-45114-0_8}, interhash = {385f7ead2d32247985016777a86c6f5a}, intrahash = {150e5c7777fc20b5f45e1ced3a10b46b}, isbn = {978-3-642-45113-3}, keywords = {dblp}, pages = {92-109}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T14:31:11.000+0200}, title = {Completion-Based Automated Theory Exploration.}, url = {http://dblp.uni-trier.de/db/conf/micai/micai2013-1.html#Montano-Rivas13}, volume = 8265, year = 2013 }