%0 Conference Paper %1 conf/mkm/ColtonW07 %A Colton, Simon %A Wagner, Daniel %B Calculemus/MKM %D 2007 %E Kauers, Manuel %E Kerber, Manfred %E Miner, Robert %E Windsteiger, Wolfgang %I Springer %K %P 205-220 %T Using Formal Concept Analysis in Mathematical Discovery. %U http://dblp.uni-trier.de/db/conf/mkm/mkm2007.html#ColtonW07 %V 4573 %@ 978-3-540-73083-5

@inproceedings{conf/mkm/ColtonW07, added-at = {2023-12-12T22:18:13.000+0100}, author = {Colton, Simon and Wagner, Daniel}, biburl = {https://www.bibsonomy.org/bibtex/2cb9b65e5f7f500d89253ca6399ce7ebe/admin}, booktitle = {Calculemus/MKM}, crossref = {conf/mkm/2007}, editor = {Kauers, Manuel and Kerber, Manfred and Miner, Robert and Windsteiger, Wolfgang}, ee = {https://doi.org/10.1007/978-3-540-73086-6_18}, interhash = {49000a512c7388f4c9ffcb6f98d1eaae}, intrahash = {cb9b65e5f7f500d89253ca6399ce7ebe}, isbn = {978-3-540-73083-5}, keywords = {}, pages = {205-220}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T22:18:13.000+0100}, title = {Using Formal Concept Analysis in Mathematical Discovery.}, url = {http://dblp.uni-trier.de/db/conf/mkm/mkm2007.html#ColtonW07}, volume = 4573, year = 2007 }