%0 Conference Paper %1 conf/mkm/Schreiner18 %A Schreiner, Wolfgang %B CICM %D 2018 %E Rabe, Florian %E Farmer, William M. %E Passmore, Grant O. %E Youssef, Abdou %I Springer %K dblp %P 248-254 %T Validating Mathematical Theorems and Algorithms with RISCAL. %U http://dblp.uni-trier.de/db/conf/mkm/cicm2018.html#Schreiner18 %V 11006 %@ 978-3-319-96812-4

@inproceedings{conf/mkm/Schreiner18, added-at = {2018-08-11T00:00:00.000+0200}, author = {Schreiner, Wolfgang}, biburl = {https://www.bibsonomy.org/bibtex/2e73af660ee9d05e1e6f38e0ebbc973d0/dblp}, booktitle = {CICM}, crossref = {conf/mkm/2018}, editor = {Rabe, Florian and Farmer, William M. and Passmore, Grant O. and Youssef, Abdou}, ee = {https://doi.org/10.1007/978-3-319-96812-4_21}, interhash = {4da9e5b28e9df9e2db5ad69d3fbdc119}, intrahash = {e73af660ee9d05e1e6f38e0ebbc973d0}, isbn = {978-3-319-96812-4}, keywords = {dblp}, pages = {248-254}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-11-21T11:36:35.000+0100}, title = {Validating Mathematical Theorems and Algorithms with RISCAL.}, url = {http://dblp.uni-trier.de/db/conf/mkm/cicm2018.html#Schreiner18}, volume = 11006, year = 2018 }