101. Trends in Artificial Intelligence :
پدیدآورنده : edited by Edoardo Ardizzone, Salvatore Gaglio, Filippo Sorbello.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Computer Science.
رده :
Q334
.
E358
1991
102. Trends in mathematics and computational intelligence /
پدیدآورنده : Maria Eugenia Cornejo, Laszlo T. Koczy, Jesus Medina, Antonio Eduardo De Barros Ruano, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computational intelligence.,Computational intelligence.
رده :
Q342
.
T74
2019eb
103. Unsaying God :
پدیدآورنده : Aydogan Kars.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : God (Islam)-- Proof-- History of doctrines.,Negative theology-- Islam.,Islamic countries, Intellectual life., 0
رده :
BP166
.
2
.
K28
2019
104. Vivid logic
پدیدآورنده : / Gerd Wagner
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Expert systems (Computer science),Logic, Symbolic and mathematical.
رده :
QA
,
76
.
76
,.
E95
,
W33
,
1994
105. Vivid logic : knowledge-based reasoning with two kinds of negation
پدیدآورنده : Wagner, Gerd, 7591-
کتابخانه: (طهران)
موضوع : ، Expert systems )Computer science(,، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
764
106. What is negation?
پدیدآورنده : edited by Dov M. Gabbay and Heinrich Wansing.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Negation (Logic)
رده :
BC199
.
N4
E358
2011
107. Zur Logik der Logik-Programmierung :
پدیدآورنده : Clemens Beckstein.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic programming.,Logische Programmierung.
رده :
QA76
.
63
C546
1988
108. classical logic-Essays on non
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Nonclassical mathematical logic. ; Tense (Logic) ; Negation (Logic) ;
