%0 Conference Paper %1 conf/itp/GabrielliM17 %A Gabrielli, Andrea %A Maggesi, Marco %B ITP %D 2017 %E Ayala-Rincón, Mauricio %E Muñoz, César A. %I Springer %K dblp %P 225-240 %T Formalizing Basic Quaternionic Analysis. %U http://dblp.uni-trier.de/db/conf/itp/itp2017.html#GabrielliM17 %V 10499 %@ 978-3-319-66107-0

@inproceedings{conf/itp/GabrielliM17, added-at = {2022-04-09T00:00:00.000+0200}, author = {Gabrielli, Andrea and Maggesi, Marco}, biburl = {https://www.bibsonomy.org/bibtex/2752952bd8c2ebed5d1725626637a149c/dblp}, booktitle = {ITP}, crossref = {conf/itp/2017}, editor = {Ayala-Rincón, Mauricio and Muñoz, César A.}, ee = {https://doi.org/10.1007/978-3-319-66107-0_15}, interhash = {bcd051eee531bb26459a3cf3042e7307}, intrahash = {752952bd8c2ebed5d1725626637a149c}, isbn = {978-3-319-66107-0}, keywords = {dblp}, pages = {225-240}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T15:10:22.000+0200}, title = {Formalizing Basic Quaternionic Analysis.}, url = {http://dblp.uni-trier.de/db/conf/itp/itp2017.html#GabrielliM17}, volume = 10499, year = 2017 }