经典计算的强归一化抽象模型
研究机构： 桑迪亚国家实验室（SNL-CA），加利福尼亚州利弗莫尔（美国）
赞助组织： USDOE国家核安全局（NNSA）
授予/合同编号： NA0003525； AC04-94AL85000型
OSTI ID： 2284030
备用ID： OSTI编号：1595425； OSTI编号：1703064
报告编号： 沙子-2019-15278J； S2352220819301579； 100512; PII:S2352220819301579
日志信息： 《程序设计中的逻辑和代数方法杂志》，期刊名称：《程序设计的逻辑和代数学方法杂志》第111卷第C期； 国际标准编号2352-2208
出版商： 爱思维尔 版权声明
出版国家： 国家/地区未知/代码不可用
语言： 英语
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|