%0 Conference Paper %1 conf/mkm/CodescuHKMR11 %A Codescu, Mihai %A Horozal, Fulya %A Kohlhase, Michael %A Mossakowski, Till %A Rabe, Florian %B Calculemus/MKM %D 2011 %E Davenport, James H. %E Farmer, William M. %E Urban, Josef %E Rabe, Florian %I Springer %K %P 289-291 %T Project Abstract: Logic Atlas and Integrator (LATIN). %U http://dblp.uni-trier.de/db/conf/mkm/mkm2011.html#CodescuHKMR11 %V 6824 %@ 978-3-642-22672-4

@inproceedings{conf/mkm/CodescuHKMR11, added-at = {2023-12-14T15:46:25.000+0100}, author = {Codescu, Mihai and Horozal, Fulya and Kohlhase, Michael and Mossakowski, Till and Rabe, Florian}, biburl = {https://www.bibsonomy.org/bibtex/205aae30664ffcae051555c01e2e07bf1/admin}, booktitle = {Calculemus/MKM}, crossref = {conf/mkm/2011}, editor = {Davenport, James H. and Farmer, William M. and Urban, Josef and Rabe, Florian}, ee = {https://www.wikidata.org/entity/Q57389385}, interhash = {ef5456369769b543c6037f3edde6a557}, intrahash = {05aae30664ffcae051555c01e2e07bf1}, isbn = {978-3-642-22672-4}, keywords = {}, pages = {289-291}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-14T15:46:25.000+0100}, title = {Project Abstract: Logic Atlas and Integrator (LATIN).}, url = {http://dblp.uni-trier.de/db/conf/mkm/mkm2011.html#CodescuHKMR11}, volume = 6824, year = 2011 }