搜索页_Deduction

读者指南

远程访问

科技查新

公务邮箱

NSTL服务站

外文资源

内部出版物

中国地质文献-英文(46)	SpringerLink电子期刊(1406)	GSW全文库(18)
Wiley电子期刊(27)	ProQuest学位论文(88)	Elsevier电子期刊(1261)
Springer电子图书(54)	NATURE电子期刊(203)	ACS电子期刊(57)

在“SpringerLink电子期刊”中，命中：1,406条，耗时：小于0.01 秒

在所有数据库中总计命中：3,160条

1. A nonconceptualist reading of the B-Deduction

作者： Roberto Horácio de Sá Pereira

关键词：Non ; conceptual content ; Object ; ObjectivityB ; Deduction ; cognition (Erkenntnis)

刊名：Philosophical Studies

出版年：2017

2. Abstract conjunctive partial deduction for the analysis and compilation of coroutines

作者： Vincent Nys ; Danny De Schreye

关键词：Coroutines ; Compiling control ; Abstract conjunctive partial deduction

刊名：Formal Aspects of Computing

出版年：2017

3. Abstract Interpretation as Automated Deduction

作者： Vijay D’Silva ; Caterina Urban

关键词：Abstract interpretation ; Deduction ; Lindenbaum–Tarski construction

刊名：Journal of Automated Reasoning

出版年：2017

4. A study on decision-making of food supply chain based on big data

作者： Guojun Ji ; Limei Hu ; Kim Hua Tan

关键词：Big data ; Bayesian network ; deduction graph model ; food supply chain

刊名：Journal of Systems Science and Systems Engineering

出版年：2017

5. Finding Proofs in Tarskian Geometry

作者： Michael Beeson ; Larry Wos

关键词：Automated deduction ; Tarski ; Geometry ; Theorem proving

刊名：Journal of Automated Reasoning

出版年：2017

6. Deriving Natural Deduction Rules from Truth Tables

刊名：Lecture Notes in Computer Science

出版年：2017

7. On the relevance of surrogate parameter deduction in biomedical research: mediated regression analysis for variance explanation of cervical range of motion

作者： Daniel Niederer ; Lutz Vogt ; Jan Wilke ; Winfried Banzer

关键词：Mediation analysis ; Cervical spine ; Range of motion ; MiSpEx

刊名：European Spine Journal

出版年：2017

8. The New Riddle of Induction and the New Riddle of Deduction

作者： Gal Yehezkel

关键词：Deduction ; Induction ; Nelson Goodman ; New riddle of induction ; Projectibility

刊名：Acta Analytica

出版年：2016

9. Natural Deduction Calculi and Sequent Calculi for Counterfactual Logics

作者： Francesca Poggiolesi

关键词：Natural deduction calculus ; Sequent calculus ; Normalization ; Counterfactual logics

刊名：Studia Logica

出版年：2016

10. Applying CBR to machine tool product configuration design oriented to customer requirements

作者： Pengjia Wang ; Yadong Gong ; Hualong Xie…

关键词：customer requirements ; case ; based reasoning ; machine tool ; case retrieval ; case evaluation ; computer ; aided system

刊名：Chinese Journal of Mechanical Engineering

出版年：2017

1

2

3

4

5

6

7

8

9

按检索点细分(1406)

题名(242)

关键词(265)

文摘(1206)

按出版年细分(1406)

2017年(15)

2016年(69)

2015年(85)

2014年(84)

2013年(86)

2012年(71)

2011年(37)

2010年(50)

2009年(65)

2008年(80)

2007年(151)

2006年(160)

2005年(104)

2004年(57)

2003年(34)

2002年(81)

2001年(28)

2000年(31)

2000年及以前(118)

网站地图　|　常见问题　|　交通位置　|　联系我们　|　OA远程办公　|　English

© 2004-2018 中国地质图书馆版权所有京ICP备05064691号京公网安备11010802017129号

地址：北京市海淀区学院路29号邮编：100083

电话：办公室：(+86 10)66554848；文献借阅、咨询服务、科技查新：66554700