Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}