%0 Conference Paper %1 conf/itp/RashidH16 %A Rashid, Adnan %A Hasan, Osman %B ITP %D 2016 %E Blanchette, Jasmin Christian %E Merz, Stephan %I Springer %K dblp %P 483-490 %T On the Formalization of Fourier Transform in Higher-order Logic. %U http://dblp.uni-trier.de/db/conf/itp/itp2016.html#RashidH16 %V 9807 %@ 978-3-319-43143-7

@inproceedings{conf/itp/RashidH16, added-at = {2021-04-09T00:00:00.000+0200}, author = {Rashid, Adnan and Hasan, Osman}, biburl = {https://www.bibsonomy.org/bibtex/24c8edd9a9d77a0dd109fb95d5ef0cd2e/dblp}, booktitle = {ITP}, crossref = {conf/itp/2016}, editor = {Blanchette, Jasmin Christian and Merz, Stephan}, ee = {https://doi.org/10.1007/978-3-319-43144-4_31}, interhash = {49041be495ca3d2a9713bb5ff3600b48}, intrahash = {4c8edd9a9d77a0dd109fb95d5ef0cd2e}, isbn = {978-3-319-43143-7}, keywords = {dblp}, pages = {483-490}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T15:10:22.000+0200}, title = {On the Formalization of Fourier Transform in Higher-order Logic.}, url = {http://dblp.uni-trier.de/db/conf/itp/itp2016.html#RashidH16}, volume = 9807, year = 2016 }