设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
GSW全文库(1)
馆藏书目(1)
CNKI学位论文(1182)
知网期刊论文(306)
在“
Elsevier电子期刊
”中,
命中:
56
条,耗时:0.0169902 秒
在所有数据库中总计命中:
1,490
条
1.
The act of playing and the
logical
and
mathematical
reasoning
in digital games: The
mathematical
experience in the digital games
作者:
Cristiano Natal Toné
;
is
cristoneis@gmail.com
关键词:
Puzzle
;
Logical
mathematical
reasoning
;
Epistemo
logical
games
;
Knowledge
刊名:Entertainment Computing
出版年:2017
2.
Reasoning
about equilibria in game-like concurrent systems
作者:
Julian Gutierrez
;
Julian.Gutierrez@cs.ox.ac.uk
;
Paul Harrenstein
;
Michael Wooldridge
关键词:
03B44
;
03B70
;
68T27
;
91A40
刊名:Annals of Pure and Applied Logic
出版年:2017
3.
Reasoning
with graded information: The case of diagnostic rating scales in healthcare
作者:
Thomas Vetterlein
a
;
thomas.vetterlein@jku.at" class="auth_mail" title="E-mail the corresponding author
;
Anna Zamansky
b
;
annazam@is.haifa.ac.il" class="auth_mail" title="E-mail the corresponding author
关键词:
Reasoning
under vagueness
;
Healthcare applications
;
Assessment questionnaires
;
Approximate
reasoning
;
Fuzzy logic
刊名:Fuzzy Sets and Systems
出版年:2016
4.
MNiBLoS: A SMT-based solver for continuous t-norm based logics and some of their modal expansions
作者:
Amanda Vidal
;
a
;
b
;
amanda@cs.cas.cz" class="auth_mail" title="E-mail the corresponding author
;
关键词:
Fuzzy logics
;
Modal logics
;
Automated
reasoning
;
Continuous t-norms
;
SMT
;
Infinitely valued logics
刊名:Information Sciences
出版年:2016
5.
Glimpsing at guessing
作者:
Enric Trillas
;
enric.trillas@softcomputing.es" class="auth_mail" title="E-mail the corresponding author
关键词:
Guessing
;
Refuting
;
Fuzzy sets
;
Ordinary
reasoning
刊名:Fuzzy Sets and Systems
出版年:2015
6.
The Attitudes of the Elementary School Mathematics Teacher Candidates towards Proof in the
Mathematical
Modelling Proccess
作者:
Emine Nur (UNVEREN) Bilgic
a
;
eunveren@sakarya.edu.tr" class="auth_mail
;
Devrim Uzel
b
关键词:
Key thought
;
modeling
;
mathematical
modeling
;
proof
;
reasoning
刊名:Procedia - Social and Behavioral Sciences
出版年:21 February, 2014
7.
A fuzzy syllogistic
reasoning
schema for generalized quantifiers
作者:
M. Pereira-Fari帽a
;
Juan C. Vidal
;
F. D暮az-Hermida
;
A. Bugar暮n
关键词:
Fuzzy syllogism
;
Fuzzy quantifiers
;
Approximate
reasoning
刊名:Fuzzy Sets and Systems
出版年:1 January, 2014
8.
Another paraconsistent algebraic semantics for Lukasiewicz-Pavelka logic
作者:
J. Tinguaro Rodrí
;
guez
a
;
jtrodrig@mat.ucm.es" class="auth_mail
;
Esko Turunen
b
;
1
;
Da Ruan
c
;
2
;
Javier Montero
a
关键词:
Mathematical
fuzzy logic
;
Paraconsistency
;
MV-algebras
刊名:Fuzzy Sets and Systems
出版年:1 May, 2014
9.
Aspects of
Logical
Reasoning
for Candidates Enrolled in the Admission Programme for Higher Education (18-27 Years)
作者:
Elena Lupu
a
;
lupu_lln@yahoo.com" class="auth_mail
;
Deniz Ö
;
zcan
b
刊名:Procedia - Social and Behavioral Sciences
出版年:15 May 2014
10.
Geometry students¡¯ hedged statements and their self-regulation of mathematics
作者:
Karl W. Kosko
;
kkosko1@kent.edu
关键词:
Hedging
;
Systemic Functional Linguistics
;
Self-Determination Theory
;
Mathematical
reasoning
;
Logical
reasoning
;
Mathematical
discussion
刊名:Journal of
Mathematical
Behavior
出版年:2012
1
2
3
4
5
6
按检索点细分(56)
题名(2)
关键词(2)
文摘(41)
按出版年细分(56)
2027年及以后(1)
2017年(2)
2016年(2)
2015年(1)
2013年(3)
2012年(3)
2011年(3)
2010年(3)
2009年(4)
2008年(2)
2007年(3)
2006年(3)
2005年(4)
2004年(4)
2003年(2)
2002年(1)
2001年(2)
2000年(5)
2000年及以前(8)
NGLC 2004-2010.National Geological Library of China All Rights Reserved.
Add:29 Xueyuan Rd,Haidian District,Beijing,PRC. Mail Add: 8324 mailbox 100083
For exchange or info please contact us via
email
.