搜索页_+Functional+reasoning

常用资源

电子图书

期刊论文

学位会议

外文资源

特色专题

内部出版物

Wiley电子期刊(7)	SpringerLink电子期刊(670)	NATURE电子期刊(5)	ACS电子期刊(9)
Springer电子图书(10)	ProQuest学位论文(56)	Elsevier电子期刊(720)

在“SpringerLink电子期刊”中，命中：670条，耗时：0.0249889 秒

在所有数据库中总计命中：1,477条

1. Guiding reinvention of conventional tools of mathematical logic: students’ reasoning about mathematical disjunctions

作者： Paul Christian Dawkins ; John Paul Cook

关键词：Truth ; functional logic ; Guided reinvention ; Disjunctions ; Reasoning about logic ; Quantification

刊名：Educational Studies in Mathematics

出版年：2017

2. Prospective Middle School Mathematics Teachers’ Covariational Reasoning for Interpreting Dynamic Events During Peer Interactions

作者： Seçil Yemen-Karpuzcu ; Fadime Ulusoy…

关键词：Covariational reasoning ; Dynamic functional events ; Peer learning

刊名：International Journal of Science and Mathematics Education

出版年：2017

3. Confluence of Orthogonal Term Rewriting Systems in the Prototype Verification System

作者： Ana Cristina Rocha-Oliveira ; André Luiz Galdino…

关键词：Term rewriting system ; Confluence ; Orthogonality ; Left ; linearity ; Non ; ambiguity ; Critical pairs ; Non ; termination

刊名：Journal of Automated Reasoning

出版年：2017

4. Working memory, reasoning, and expertise in medicine—insights into their relationship using functional neuroimaging

作者： Pam Hruska ; Olav Krigolson ; Sylvain Coderre…

关键词：Clinical reasoning ; Working memory ; Functional magnetic resonance imaging ; Novice expert studies

刊名：Advances in Health Sciences Education

出版年：2016

5. A functional neuroimaging study of the clinical reasoning of medical students

作者： Hyung-Joo Chang ; June Kang ; Byung-Joo Ham…

关键词：Clinical reasoning ; Functional magnetic resonance imaging ; Medical student ; Problem solving

刊名：Advances in Health Sciences Education

出版年：2016

6. Combining SAT Solvers with Computer Algebra Systems to Verify Combinatorial Conjectures

作者： Edward Zulkoski ; Curtis Bright ; Albert Heinle…

刊名：Journal of Automated Reasoning

出版年：2017

7. Extending Answer Set Programs with Interpreted Functions as First-Class Citizens

关键词：Answer set programming ; Nonmonotonic reasoning ; FLP semantics ; Function symbols

刊名：Lecture Notes in Computer Science

出版年：2017

8. Students’ use of variables and multiple representations in generalizing functional relationships prior to secondary school

作者： Karina J. Wilkie

关键词：Algebra teaching and learning ; Functional thinking ; Multiple representations ; Variables ; Middle years of schooling

刊名：Educational Studies in Mathematics

出版年：2016

9. Applicability of Case-Based Reasoning for Selection of Cyanide-Free Gold Leaching Methods

关键词：Case ; based reasoning ; Gold leaching ; Cyanide ; free gold extraction

刊名：Lecture Notes in Computer Science

出版年：2016

10. What happens when you push the button? Analyzing the functional dynamics of concept development in computer supported science inquiry

作者： Hans Christian Arnseth ; Ingeborg Krange

关键词：Collaborative learning ; Digital learning resources ; Science learning ; CSCL ; Functional systems ; Multi ; representational learning settings

刊名：International Journal of Computer-Supported Collaborative Learning

出版年：2016

按检索点细分(670)

题名(16)

关键词(38)

文摘(572)

按出版年细分(670)

2017年(5)

2016年(49)

2015年(52)

2014年(43)

2013年(68)

2012年(61)

2011年(18)

2010年(26)

2009年(43)

2008年(54)

2007年(49)

2006年(50)

2005年(53)

2004年(14)

2003年(10)

2002年(19)

2001年(7)

2000年(26)

2000年及以前(23)

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

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