%0 Conference Paper %1 conf/mkm/HerasK13 %A Heras, Jónathan %A Komendantskaya, Ekaterina %B MKM/Calculemus/DML %D 2013 %E Carette, Jacques %E Aspinall, David %E Lange, Christoph %E Sojka, Petr %E Windsteiger, Wolfgang %I Springer %K dblp %P 354-358 %T ML4PG in Computer Algebra Verification. %U http://dblp.uni-trier.de/db/conf/mkm/mkm2013.html#HerasK13 %V 7961 %@ 978-3-642-39319-8

@inproceedings{conf/mkm/HerasK13, added-at = {2017-06-04T00:00:00.000+0200}, author = {Heras, Jónathan and Komendantskaya, Ekaterina}, biburl = {https://www.bibsonomy.org/bibtex/2670ea30fbca286af65905b0a18c11824/dblp}, booktitle = {MKM/Calculemus/DML}, crossref = {conf/mkm/2013}, editor = {Carette, Jacques and Aspinall, David and Lange, Christoph and Sojka, Petr and Windsteiger, Wolfgang}, ee = {https://doi.org/10.1007/978-3-642-39320-4_28}, interhash = {1b3f52bf26df999f99f4fd532e8d1e0a}, intrahash = {670ea30fbca286af65905b0a18c11824}, isbn = {978-3-642-39319-8}, keywords = {dblp}, pages = {354-358}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-06-04T12:57:14.000+0200}, title = {ML4PG in Computer Algebra Verification.}, url = {http://dblp.uni-trier.de/db/conf/mkm/mkm2013.html#HerasK13}, volume = 7961, year = 2013 }