%0 Conference Paper %1 journals/corr/ChauKH15 %A Chau, Cuong K. %A Kaufmann, Matt %A Jr., Warren A. Hunt %B ACL2 %D 2015 %E Kaufmann, Matt %E Rager, David L. %K dblp %P 35-51 %T Fourier Series Formalization in ACL2(r). %U http://dblp.uni-trier.de/db/series/eptcs/eptcs192.html#ChauKH15 %V 192

@inproceedings{journals/corr/ChauKH15, added-at = {2018-09-12T00:00:00.000+0200}, author = {Chau, Cuong K. and Kaufmann, Matt and Jr., Warren A. Hunt}, biburl = {https://www.bibsonomy.org/bibtex/2084bd46b923223e73b7d8395d0bc444a/dblp}, booktitle = {ACL2}, crossref = {journals/corr/KaufmannR15}, editor = {Kaufmann, Matt and Rager, David L.}, ee = {http://arxiv.org/abs/1509.06087}, interhash = {1d98a95c2ef5f42c371933453704ddd0}, intrahash = {084bd46b923223e73b7d8395d0bc444a}, keywords = {dblp}, pages = {35-51}, series = {EPTCS}, timestamp = {2018-09-13T11:40:00.000+0200}, title = {Fourier Series Formalization in ACL2(r).}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs192.html#ChauKH15}, volume = 192, year = 2015 }