201. Formal methods in artificial intelligence
پدیدآورنده : Ramsay, Allan, 3591-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Methodology ، Artificial intelligence,، Logic, Symbolic and mathematical,، Reasoning
رده :
Q
335
.
R35
1988
202. Formal methods in artificial intelligence
پدیدآورنده : Ramsay, Allan
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Methodology ، Attificial intelligence,، Logic, Symbolic and mathematical,، Reasoning
رده :
Q
335
.
R35
1988
203. Foundations of knowledge representation and reasoning
پدیدآورنده :
کتابخانه: Central Library and Document Center of Shahid Madani University of Azarbayjan (East Azarbaijan)
موضوع : Knowledge representation (Information theory),Reasoning,Artificial intelligence
رده :
Q
,
387
,.
F68
204. Foundations of knowledge representation and reasoning
پدیدآورنده : Gerhard Lakemeyer, Bernhard Nebel )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Knowledge representation )Information theory(,، Reasoning,، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
810
205. Foundations of soft case-based reasoning
پدیدآورنده : Pal, Sankar K.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Soft computing,، Case-based reasoning
رده :
QA
76
.
9
.
S63
P335
2004
206. Foundations of soft case-based reasoning. ]CD[
پدیدآورنده : Pal, Sankar K.,Sankar K. Pal, Simon C.K. Shiu
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Soft computing,، Case-based reasoning
رده :
QA76
.
9
.
S63
P335
2004
207. Foundations of soft case-based reasoning
پدیدآورنده : / Sankar K. Pal, Simon C.K. Shiu
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Soft computing,Case-based reasoning
رده :
QA76
.
9
.
S63
,
P335
2004
208. Fourth International Workshop on Temporal Representation and Reasoning, Daytona Beach, Florida, USA, May 10-11, 1997
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Temporal databases,Congresses ، Artificial intelligence,Congresses ، Reasoning
رده :
QA
76
.
9
.
D3
.
I597
1997
209. Fundamentals of Critical Argumentation
پدیدآورنده : / Douglas N. Walton
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Reasoning,Argumentation,PHILOSOPHY -- Logic,استدلال,حجت (منطق),منطق ریاضی - فلسفه
رده :
BF463
.
W32
2006
210. Fundamentals of critical argumentation
پدیدآورنده : Walton, Douglas N
کتابخانه: Special Library of University of Religions (Qom)
موضوع : ، Reasoning
رده :
BC
177
.
W3235
2006
211. Fuzziness and approximate reasoning
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Epistemics. ; Fuzzy logic. ; Reasoning. ; Uncertainty. ; Risk. ;
212. Fuzzy and evidence reasoning
پدیدآورنده : Lee, E. Stanley )Eugene Stanley(
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Fuzzy sets,، Evidence,، Reasoning
رده :
QA
248
.
5
.
L34
1995
213. Fuzzy rationality
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Reasoning ; Mathematical models. ; Soft computing. ; Fuzzy logic. ; Fuzzy decision making. ;
214. Fuzzy rationality: a critique and methodological unity of classical, bounded and other rationalities
پدیدآورنده : Dompere, K. K.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Mathematical models ، Reasoning,، Soft computing,، Fuzzy logic,، Fuzzy decision making
رده :
QA
9
.
64
.
D66
2009
215. Fuzzy rationality: a critique and methodological unity of classical, bounded and other rationalities
پدیدآورنده : Dompere, K. K.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Mathematical models ، Reasoning,، Soft computing,، Fuzzy logic,، Fuzzy decision making
رده :
QA
9
.
64
.
D65
2009
216. Fuzzy rationality : a critique and methodological unity of classical, bounded and other rationalities
پدیدآورنده : Dompere, Kofi Kissi
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Mathematical models ، Reasoning,، Soft computing,، Fuzzy logic,، Fuzzy decision making
رده :
QA
9
.
64
.
D65F8
217. Fuzzy sets in approximate reasoning and information systems
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Expert systems )Computer science(,، Reasoning,، Fuzzy sets
رده :
QA
76
.
76
.
E95
.
F8866
1999
218. General intelligence & test of reasoning
پدیدآورنده : Thorpe, Showick
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Study and teaching ، Reasoning,Study and teaching ، Thought and thinking,Study and teaching ، Logic
رده :
LB
1590
.
3
.
T45
2000
219. Giving Reasons
پدیدآورنده : / Lilian Bermejo-Luque
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Debates and debating,Reasoning,Rhetoric,مناظره,استدلال,معانی و بیان
رده :
PN4181
.
B54
2011