201. Methodologies for Intelligent Systems, 4: Proceedings of the Fourth International Symposium on Methodologies for Intelligent Systems held October 12-14, 1989, in Charlotte, North Carolina
پدیدآورنده :
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Artificial intelligence- Congresses,Reasoning- Congresses,Knowledge, Theory of- Congresses,Logic, Symbolic and mathematical- Congresses
رده :
Q
،
334
،.
I576
،
1989
202. Methodologies for intelligent systems, 4 : Proceedings of the Fourth International Symposium on Methodologies for Intelligent Systems, held October 12-14, 1989, in Charlotte, North Carolina
پدیدآورنده : editor, Zbigniew W. Ras
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Artificial intelligence,Congresses ، Reasoning,Congresses ، Knowledge, Theory of,Congresses ، Logic, Symbolic and mathematical
رده :
Q
334
.
I576
1989
203. Myths of reason: Vagueness, rationality, and the lure of logic
پدیدآورنده : Code, Murray.
کتابخانه: Latin Specialized Library of Islamic Sciences and Culture Academy (Qom)
موضوع : ، Vagueness )Philosophy(,، Logic,، Reasoning
رده :
B
105
.
V33C6
1995
204. Myths of reason: vagueness, rationality, and the lure of logic
پدیدآورنده : Code, Murray.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Vagueness )Philosophy(,، Logic,، Reasoning
رده :
B
105
.
V33
C63
1995
205. Non-monotonic extensions of logic programming :
پدیدآورنده : Jürgen Dix, Louis Moniz Pereira, Teodor C. Przymusinski, eds.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic programming.,Nonmonotonic reasoning.
رده :
QA76
.
63
.
N68
1995
206. Non-monotonic extensions of logic programming : Second International Workshop NMELP'96, Bad Honnef, Germany, September 5-6, 1996 : selected papers
پدیدآورنده : Jurgen Dix, Louis Moniz Pereira, Teodor C. Przymusinski, )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic programming,، Nonmonotonic reasoning
رده :
QA
76
.
L28
Vol
.
1216
207. Non-monotonic reasoning :
پدیدآورنده : Witold Łukaszewicz
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence,Logic,Reasoning
رده :
Q335
.
L85
1990
208. Non-monotonic reasoning : 2nd international Workshop, Grassau, FRG, June 1988: Proceedings
پدیدآورنده : M. Reinfrank, ]editor[...]et al.[
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Artificial intelligence,Congresses ، Reasoning,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
346
209. Non-monotonic reasoning : 2nd international workshop, Grassau, FRG, June 1988 : proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Artificial intelligence-- Congresses,، Reasoning-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
Q
334
.
N66
1989
210. Nonmonotonic logics : basic concepts, results, and techniques
پدیدآورنده : Schlechta, Karl.
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Default reasoning , Logic , Artificial intelligence , Nonmonotonic reasoning
رده :
Q
339
.
S35
1997
211. Nonmonotonic logics : basic concepts, results and techniques
پدیدآورنده : Schlechta, Karl
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Default reasoning,، Logic,، Artificial intelligence,، Nonmonotonic reasoning
رده :
QA
76
.
L28
Vol
.
1187
212. Nonmonotonic logics: basic concepts, results, and techniques
پدیدآورنده : Schlechta, Karl
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Default reasoning,، Logic,، Artificial intellgence,، Nonmonotonic reasoning
رده :
Q
339
.
S35
1997
213. Od logiki klasycznej do niemonotonicznej /
پدیدآورنده : David Makinson ; przełożył Tomasz Jarmużek.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic.,Nonmonotonic reasoning.
رده :
BC108
.
M318165
2008
214. Od logiki klasycznej do niemonotonicznej /
پدیدآورنده : David Makinson ; przełożył Tomasz Jarmużek.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic.,Nonmonotonic reasoning.
رده :
BC108
.
M318165
2008
215. Partiality, modality, and nonmonotonicity /
پدیدآورنده : [edited by] Patrick Doherty
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Commonsense reasoning,Formal languages,Modality (Logic)
رده :
QA9
.
46
.
P37
1996
216. Practical induction
پدیدآورنده : Millgram, Elijah
کتابخانه: Central Library and Documents Center of Al-Zahra University (Tehran)
موضوع : ، Reasoning,، Induction) Logic(
رده :
BC
177
.
M52
1997
217. Practical induction /
پدیدآورنده : Elijah Millgram.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Induction (Logic),Reasoning.,Induction (Logic),Argumentation.,Induction (Logique),Raisonnement.,08.33 logics and argumentation.,Handelen.,Inductie (logica),Induction (Logic),Induction (Logic),Induktion,Reasoning.,Reasoning.
رده :
BC177
.
M52
1997
218. Prescriptive reasoning :
پدیدآورنده : Richard L. Epstein.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic.,Reasoning.
219. Presumptions and burdens of proof :
پدیدآورنده : edited by Hans V. Hansen, Fred J. Kauffeld, James B. Freeman, and Lilian Bermejo-Luque.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Burden of proof.,Presumptions (Law),Reasoning.,Burden of proof.,PHILOSOPHY-- Logic.,Presumptions (Law),Reasoning.
رده :
BC177
.
P7357
2019eb
220. Pure logic and other minor works
پدیدآورنده : / by W. Stanley Jevons,Jevons
کتابخانه: Central Library and Documents Center of Tehran University (Tehran)
موضوع : Logic, Symbolic and mathematical,Reasoning
رده :
BC
135
.
J4
1890
