The Use of Automated Theory Formation in Support of Hazard Analysis

The Use of Automated Theory Formation in Support of Hazard Analysis
复制标题

使用自动理论形成支持危害分析

DOI:
--
复制
发表时间:
2018
期刊:
--
影响因子:
--
通讯作者:
A. Ireland
A. Ireland
中科院分区:
--
文献类型:
--
作者:
A. Ireland

文献摘要

参考文献

被引文献

相似文献

DOI: --
发表时间: 2016
期刊:
影响因子: --
作者:
Junko Shimazoe
通讯作者: Junko Shimazoe
纯数学中的自动理论形成
DOI: --
发表时间: 2002
期刊: Distinguished Dissertations
影响因子: --
作者:
MSc PhD Simon Colton BSc
通讯作者: MSc PhD Simon Colton BSc