1141. Symbolic and Quantitative Approaches to Reasoning with Uncertainty
پدیدآورنده: / Linda C. Gaag
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|ROBOTICS
رده :
E-BOOK
1142. Symbolic and Quantitative Approaches to Reasoning with Uncertainty :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Uncertainty (Information theory) ; Congresses. ;
1143. Symbolic and Quantitative Approaches to Reasoning with Uncertainty
پدیدآورنده: / bastien Destercke, Thierry DenoeuxSف
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|ROBOTICS
رده :
E-BOOK
1144. Symbolic and Quantitative Approaches to Reasoning with Uncertainty
پدیدآورنده: / Weiru Liu
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|ROBOTICS
رده :
E-BOOK
1145. Symbolic and quantitative approaches to reasoning and uncertainty: European Conference ECSQARU '95, Fribourg, Switzerland, July 1995: proceedings
پدیدآورنده: Christine Froidevaux, Jurg Kohlas )eds.(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Artificial intelligence,Congresses ، Reasoning,Congresses ، Uncertainty )Information theory(
رده :
QA
76
.
L4
v
.
946
1146. Symbolic and quantitative approaches to reasoning and uncertainty: European Conference ECSQARU '93, Granada, Spain, November 8-10, 1993: proceedings
پدیدآورنده: Michael Clarke, Rudolf Kruse, Serafin Moral )eds.(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Uncertainty )Information theory(,Congresses ، Reasoning,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L4
v
.
747
1147. Symbolic and quantitative approaches to reasoning and uncertainty : European Conference ECSQARU'93, Granada, Spain, November 8-10, 1993 : proceedings
پدیدآورنده: Michael Clarke, Rudolf Kruse, Serafin Moral )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Uncertainty )Information theory(,Congresses ، Reasoning,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
747
1148. Symbolic and quantitative approaches to reasoning and uncertainty : European Conference ECSQARU '93, Granada, Spain, November 8-10, 1993 : proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Uncertainty )Information theory(-- Congresses,، Reasoning-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
Q
375
.
E88
1993
1149. Symbolic and quantitative approaches to reasoning and uncertainty : European conference, ECSQARU'99, London, UK, July 5-9, 1999, proceedings
پدیدآورنده: Anthony Hunter, Simon Parsons, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Artificial intelligence,Congresses ، Reasoning,Congresses ، Uncertainty )Information theory(
رده :
QA
76
.
L28
Vol
.
1638
1150. Symbolic and quantitative approaches to reasoning with uncertainty :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Uncertainty (Information theory) ; Congresses. ;
1151. Symbolic and quantitative approaches to reasoning with uncertainty
پدیدآورنده: / Llu?�s Godo (ed.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Artificial intelligence--Congresses,Reasoning--Congresses,Uncertainty (Information theory)--Congresses
رده :
Q
,
334
,.
E27
,
2005
QA
,
75
,.
L4
,
vol
.,
3571
1152. Symbolic and quantitative approaches to reasoning with uncertainty
پدیدآورنده: / Khaled Mellouli (ed.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Artificial intelligence--Congresses,Reasoning--Congresses,Uncertainty (Information theory)--Congresses
رده :
Q
,
334
,.
E27
,
2007
1153. Symbolic and quantitative approaches to reasoning with uncertainty
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Artificial intelligence ; Congresses. ; Reasoning ; Congresses. ; Uncertainty (Information theory) ; Congresses. ;
1154. Symbolic and quantitative approaches to reasoning with uncertainty
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Artificial intelligence ; Congresses. ; Reasoning ; Congresses. ; Uncertainty (Information theory) ; Congresses. ;
1155. Symbolic and quantitative approaches to reasoning with uncertainty :
پدیدآورنده: Thomas Dyhre Nielsen, Nevin Lianwen Zhang (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence, Congresses.,Reasoning, Congresses.,Uncertainty (Information theory), Congresses.
1156. Symbolic and quantitative approaches to reasoning with uncertainty : 8th European Conference
پدیدآورنده: Lluis Godo )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Artificial intelligence,Congresses ، Reasoning,Congresses ، Uncertainty )Information theory(
رده :
QA
76
.
L28
Vol
.
3571
1157. Symbolic and quantitative approaches to reasoning with uncertainty : 7th European conference
پدیدآورنده: Thomas Dyhre Nielsen, Nevin Lianwen Zhang )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Artificial intelligence,Congresses ، Reasoning,Congresses ، Uncertainty )Information theory(
رده :
QA
76
.
L28
Vol
.
2711
1158. Symbolic and quantitative approaches to reasoning with uncertainty : 6th European conference
پدیدآورنده: Salem Benferhat, Philippe Besnard )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Artificial intelligence,Congresses ، Reasoning,Congresses ، Uncertainty )Information theory(
رده :
QA
76
.
L28
Vol
.
2143
1159. Symbolic computation and automated reasoning : the CALCULEMUS-2000 Symposium
پدیدآورنده: edited by Manfred Kerber and Michael Kohlhase
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Data processing -- Congresses ، Algebra,Congresses ، Automatic theorem proving
رده :
QA
155
.
7
.
E4C23
2000
