Proofs and Retributions, Or: Why Sarah Can’tTakeLimits
- 期刊名称Foundations of Science
- 作者Kanovei, Vladimir; Katz, Karin U.; Katz, Mikhail G.; Schaps, Mary
- 卷第20卷
- 期第1期
- 印刷ISSN1233-1821
- 电子ISSN1572-8471
- 文件大小568.30KB
- 发表时间2015-3
- DOI10.1007/s10699-013-9340-0
- 页码1-25
[IEEE Comput. Soc. Press 12th Symposium on Computer Arithmetic - Bath, UK (19-21 July 1995)] Proceedings of the 12th Symposium on Computer Arithmetic - Redundant binary Booth recodingChung Nan Lyu, ; Matula, D.W. · 1995
[IEEE Comput. Soc. Press 12th Symposium on Computer Arithmetic - Bath, UK (19-21 July 1995)] Proceedings of the 12th Symposium on Computer Arithmetic - A GaAs IEEE floating point standard single precision multiplierCui, S.; Burgess, N.; Liebelt, M.; Eshraghian, K. · 1995
[IEEE Comput. Soc. Press 12th Symposium on Computer Arithmetic - Bath, UK (19-21 July 1995)] Proceedings of the 12th Symposium on Computer Arithmetic - Faithful bipartite ROM reciprocal tablesDas Sarma, D.; Matula, D.W. · 1995
[IEEE Comput. Soc. Press 12th Symposium on Computer Arithmetic - Bath, UK (19-21 July 1995)] Proceedings of the 12th Symposium on Computer Arithmetic - The K5 transcendental functionsLynch, T.; Ahmed, A.; Schulte, M.; Callaway, T.; Tisdale, R. · 1995
[IEEE Comput. Soc 12th IEEE Symposium on Computer-Based Medical Systems - Stamford, CT, USA (18-20 June 1999)] Proceedings 12th IEEE Symposium on Computer-Based Medical Systems (Cat. No.99CB36365) - PACS for teleradiologyHludov, S.; Meinel, C.; Noelle, G.; Warda, F. · 1999
[IEEE Comput. Soc. Press 12th Symposium on Computer Arithmetic - Bath, UK (19-21 July 1995)] Proceedings of the 12th Symposium on Computer Arithmetic - Arithmetic for relative accuracyvanDrunen, R.; Spaanenburg, L.; Lucassen, P.; Nijhuis, J.A.G.; Udding, J.T. · 1995
[IEEE Comput. Soc. Press 12th Symposium on Computer Arithmetic - Bath, UK (19-21 July 1995)] Proceedings of the 12th Symposium on Computer Arithmetic - An ε arithmetic for removing degeneraciesMichelucci, D. · 1995
[IEEE Comput. Soc. Press 12th Symposium on Computer Arithmetic - Bath, UK (19-21 July 1995)] Proceedings of the 12th Symposium on Computer Arithmetic - Semi-logarithmic number systemsMuller, J.-M.; Tisserand, A.; Scherbyna, A. · 1995