登录注册
Quick Links : Mindat手册The Rock H. Currier Digital LibraryMindat Newsletter [Free Download]
主页关于 MindatMindat手册Mindat的历史版权Who We Are联系我们于 Mindat.org刊登广告
捐赠给 MindatCorporate Sponsorship赞助板页已赞助的板页在 Mindat刊登 广告的广告商于 Mindat.org刊登广告
Learning CenterWhat is a mineral?The most common minerals on earthInformation for EducatorsMindat ArticlesThe ElementsThe Rock H. Currier Digital LibraryGeologic Time
搜索矿物的性质搜索矿物的化学Mineral Visual ExplorerAdvanced Locality Search随意显示任何一 种矿物Random Locality使用minID搜索邻近产地Search Articles搜索词汇表更多搜索选项
搜索:
矿物名称:
地区产地名称:
关键字:
 
Mindat手册添加新照片Rate Photos产区编辑报告Coordinate Completion Report添加词汇表项目
Mining Companies统计会员列表Mineral MuseumsClubs & Organizations矿物展及活动The Mindat目录表设备设置The Mineral QuizTime Machine
照片搜索Photo GalleriesSearch by ColorPhoto Colour Explorer今天最新的照片昨天最新的照片用户照片相集过去每日精选照片相集Photography

(1984) Programming as a mathematical exercise. Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences, 312. 447-473 doi:10.1098/rsta.1984.0070

Advanced
   -   Only viewable:
Reference TypeJournal (article/letter/editorial)
TitleProgramming as a mathematical exercise
JournalPhilosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences
Year1984 (October)Volume312
PublisherThe Royal Society
DOIdoi:10.1098/rsta.1984.0070Search in ResearchGate
Generate Citation Formats
Mindat Ref. ID658113Long-form Identifiermindat:1:5:658113:2
GUID0
Full Reference(1984) Programming as a mathematical exercise. Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences, 312. 447-473 doi:10.1098/rsta.1984.0070
Plain Text(1984) Programming as a mathematical exercise. Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences, 312. 447-473 doi:10.1098/rsta.1984.0070
In(1984, October) Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences Vol. 312 (1522) The Royal Society

See Also

These are possibly similar items as determined by title/reference text matching only.

(1984) Constructive mathematics and computer programming. Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences, 312. 501-518 doi:10.1098/rsta.1984.0073
(1984) Erratum. Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences, 312. 601 doi:10.1098/rsta.1984.0076
(1984) The relation between logic programming and logic specification. Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences, 312. 345-361 doi:10.1098/rsta.1984.0064
(1984) Chairman’s introduction. Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences, 312. 3 doi:10.1098/rsta.1984.0042
(1984) Functional programs as executable specifications. Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences, 312. 363-388 doi:10.1098/rsta.1984.0065
(1984) Opening address. Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences, 312. 5-7 doi:10.1098/rsta.1984.0043
(1984) Deductive learning. Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences, 312. 441-446 doi:10.1098/rsta.1984.0069
(1984) The Ariane programme. Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences, 312. 83-88 doi:10.1098/rsta.1984.0052
(1984) Programs are predicates. Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences, 312. 475-489 doi:10.1098/rsta.1984.0071
(1984) Space: the finance sector. Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences, 312. 75-81 doi:10.1098/rsta.1984.0051
(1984) The Space Shuttle system. Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences, 312. 89-102 doi:10.1098/rsta.1984.0053
 
and/or  
版权所有© mindat.org1993年至2026年，除了规定的地方。 Mindat.org全赖于全球数千个以上成员和支持者们的参与。
To cite: Ralph, J., Von Bargen, D., Martynov, P., Zhang, J., Que, X., Prabhu, A., Morrison, S. M., Li, W., Chen, W., & Ma, X. (2025). Mindat.org: The open access mineralogy database to accelerate data-intensive geoscience research. American Mineralogist, 110(6), 833–844. doi:10.2138/am-2024-9486.
隐私政策 - 条款和条款细则 - 联络我们 - Report a bug/vulnerability Current server date and time: 2026.6.8 23:51:21
Go to top of page