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 conf/cie/BauerS07
%A Bauer, Andrej
%A Stone, Christopher A.
%B CiE
%D 2007
%E Cooper, S. Barry
%E Löwe, Benedikt
%E Sorbi, Andrea
%I Springer
%K dblp
%P 28-42
%T RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice.
%U http://dblp.uni-trier.de/db/conf/cie/cie2007.html#BauerS07
%V 4497
%@ 978-3-540-73000-2
@inproceedings{conf/cie/BauerS07,
added-at = {2023-08-06T00:00:00.000+0200},
author = {Bauer, Andrej and Stone, Christopher A.},
biburl = {https://www.bibsonomy.org/bibtex/2ec90a874ff6b0685850d7c8b869a9137/dblp},
booktitle = {CiE},
crossref = {conf/cie/2007},
editor = {Cooper, S. Barry and Löwe, Benedikt and Sorbi, Andrea},
ee = {https://doi.org/10.1007/978-3-540-73001-9_4},
interhash = {96063a58ee94990596a7adb882b63706},
intrahash = {ec90a874ff6b0685850d7c8b869a9137},
isbn = {978-3-540-73000-2},
keywords = {dblp},
pages = {28-42},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2024-04-10T12:29:28.000+0200},
title = {RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice.},
url = {http://dblp.uni-trier.de/db/conf/cie/cie2007.html#BauerS07},
volume = 4497,
year = 2007
}