95. A Logical Analysis of Relational Program Correctness
پدیدآورنده: Nikouei, Mohammad
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science
96. A Logical Analysis of Relational Program Correctness
پدیدآورنده: Nikouei, Mohammad
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science
97. A Network Orange:
پدیدآورنده: Richard Crandall
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computers -- Moral and ethical aspects.,Computers and civilization.
رده :
QA76
.
9
.
C66
R534
2011
98. A 25-Year Perspective on Logic Programmin
پدیدآورنده: / edited by Agostino Dovier, Enrico Pontelli
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer science.,Information theory.,Logic design.,Artificial intelligence.
99. A general framework for reasoning on inconsistency
پدیدآورنده: Maria Vanina Martinez ... [et al.]
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer logic,Inconsistency (Logic),Logic design
رده :
TK7868
.
L6
G46
2013
100. A new paradigm of knowledge engineering by soft computing /
پدیدآورنده: editor, Liya Ding.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Expert systems (Computer science), Congresses.,Fuzzy systems, Congresses.,Soft computing, Congresses.,Informatique douce.,Systèmes experts (Informatique),Systèmes flous.,COMPUTERS-- Enterprise Applications-- Business Intelligence Tools.,COMPUTERS-- Intelligence (AI) & Semantics.,Expert systems (Computer science),Fuzzy systems.,Soft computing.
رده :
QA76
.
9
.
S63
N655
2001eb
