Deriving occam programs through the refinement of unity-like specifications

被引：0

|

作者：

Brown, N.

Mery, D.

机构：

来源：

Proceedings of the European Workshops on Parallel Computing | 1992年

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

下载

收藏

相关论文

共 25 条

[21] 'This felt more like a conversation': challenging gender norms in electronic music production through alternative education programs
Strong, Catherine
Gadir, Tami
CONTINUUM-JOURNAL OF MEDIA & CULTURAL STUDIES, 2023, 37 (04): : 448 - 464
[22] Gestational environment programs adult depression-like behavior through methylation of the calcitonin gene-related peptide gene
Jiao, J.
Opal, M. D.
Dulawa, S. C.
MOLECULAR PSYCHIATRY, 2013, 18 (12) : 1273 - 1280
[23] Gestational environment programs adult depression-like behavior through methylation of the calcitonin gene-related peptide gene
J Jiao
M D Opal
S C Dulawa
Molecular Psychiatry, 2013, 18 : 1273 - 1280
[24] Enhancement in wastewater refinement through a new cauliflower-like photocatalyst: TiO2/Bi2MoO6/MnSe2 heterojunction
Karimi, M.
Rafiee, E.
Sedighi, B.
JOURNAL OF MATERIALS SCIENCE-MATERIALS IN ELECTRONICS, 2024, 35 (10)
[25] NONLINEAR LEAST-SQUARES REFINEMENT WITH CONSTRAINTS - EVALUATION THROUGH CURVE-FITTING ON EMULATED XPS-LIKE SPECTRA AND APPLICATION TO THE ANALYSIS OF CARBON-FIBERS
CEIPIDOR, UB
CATALDI, TRI
DESIMONI, E
SALVI, AM
JOURNAL OF CHEMOMETRICS, 1994, 8 (03) : 221 - 239