首页> 外文OA文献 >The Collected Works of Larry Wos (In 2 Volumes) - Volume I: Exploring the Power of Automated Reasoning - Volume II: Applying Automated Reasoning to Puzzles, Problems, and Open Questions

【2h】

The Collected Works of Larry Wos (In 2 Volumes) - Volume I: Exploring the Power of Automated Reasoning - Volume II: Applying Automated Reasoning to Puzzles, Problems, and Open Questions

机译：Larry WOS的收集作品（2卷） - 卷I：探索自动推理的力量 - 第II卷：应用自动推理到谜题，问题和打开问题

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
相似文献
相关主题

著录项

作者
Larry Wos; Gail W. Pieper;
展开▼
作者单位

展开▼
年度 2000
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Relationship between Automated Coronary Calcium Volumes and a Set of Manual Coronary Lumen Volume, Vessel Volume and Atheroma Volume in Japanese Diabetic Cohort TC09-TC14 [J] . Sumit K. Banchhor, Narendra D. Londhe, Luca Saba, Journal of Clinical and Diagnostic Research . 2017,第6期

机译：日本糖尿病队列TC09-TC14中自动冠状动脉钙量与一组手动冠状动脉腔体积，血管体积和动脉粥样硬化体积之间的关系
2. Three-Dimensional Automated Volume Calculation (Sonography-Based Automated Volume Count) versus Two-Dimensional Manual Ultrasonography for Follicular Tracking and Oocyte Retrieval in Women Undergoing in vitro Fertilization-Embryo Transfer: A Randomized Controlled Trial [J] . Nilofar Noor, Chithira Pulimoottil Vignarajan, Neena Malhotra, Journal of Human Reproductive Sciences . 2020,第4期

机译：三维自动卷计算（基于超声的自动体积计数）与在体外施肥 - 胚胎转移中的女性卵泡跟踪和卵母细胞检索的二维手动超声检查 - 随机对照试验
3. Cord blood volume reduction using an automated system (Sepax) vs. a semi-automated system (Optipress II) and a manual method (hydroxyethyl starch sedimentation) for routine cord blood banking: a comparative study [J] . Lapierre V, Pellegrini N, Bardey I, Cytotherapy . 2007,第2期

机译：使用自动化系统（Sepax）与半自动化系统（Optipress II）和手动方法（羟乙基淀粉沉淀）进行常规脐带血保存的脐带血量减少：一项比较研究
4. Automated Extraction of Overhead Power Conductors and Vegetation Clearance Volumes with Morphology Reasoning and Geometric Inference [C] . Tiyasa Ray, David Grau, Bala Sai Krishna Paladugu Construction Research Congress . 2020

机译：具有形态学推理和几何推理的架空电导机和植被清除卷的自动提取
5. ARCHITECTURAL REASONING IN THE AGE OF POSITIVISM: THE NEO-GREC IDEA OF HENRI LABROUSTE'S BIBLIOTHEQUE SAINTE-GENEVIEVE. (VOLUMES I -III: TEXT AND VOLUMES IV-V: ILLUSTRATIONS) [D] . LEVINE, NEIL ARTHUR. 1975

机译：积极主义时代的建筑推理：亨利·拉布罗斯特（Henri Labrouste）的圣经古称圣经的新希腊思想。（第一至第三卷：正文和第四至第五卷：插图）
6. Relationship between Automated Coronary Calcium Volumes and a Set of Manual Coronary Lumen Volume Vessel Volume and Atheroma Volume in Japanese Diabetic Cohort [O] . Sumit K. Banchhor, Narendra D. Londhe, Luca Saba, 2017

机译：日本糖尿病队列中自动冠状动脉钙量与一组手动冠状动脉腔体积血管体积和动脉粥样硬化体积之间的关系
7. Collected Works of Erasmus, Volume 35, Adages III iv 1 to IV ii 100; Collected Works of Erasmus, Volume 84, Controversies: Responsio ad epistolam paraeneticam Alberti Pii. Apologia adversus rhapsodias Alberti Pii. Brevissima scholia [O] . Denis L. Drysdall (translator and annotator first book), John N. Grant (editor first book), Daniel Sheerin (translator and annotator second book), 2005

机译：收集伊拉斯谟，第35卷的作品，Adages 3 4 1至4 II 100;交叉收集的伊拉斯谟，第84卷，争议：对信函的响应，寄生Alberti PII。对rhapsodias alberti silicon的辩护。最短的学者
8. Approach to the Verification of a Fault-Tolerant, Computer-Based Reactor Safety System: A Case Study Using Automated Reasoning: Volume 1: Interim Report [R] . Chisholm, G. H. , Kljaich, J. , Smith, B. T. , 1987

机译：验证容错，基于计算机的反应堆安全系统的方法：使用自动推理的案例研究：第1卷：中期报告

The Collected Works of Larry Wos (In 2 Volumes) - Volume I: Exploring the Power of Automated Reasoning - Volume II: Applying Automated Reasoning to Puzzles, Problems, and Open Questions

著录项

相似文献

相关主题

期刊订阅