1161. Symbolic computation and automated reasoning : the CALCULEMUS-2000 Symposium
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Algebra-- Data processing,Congresses ، Automatic theorem proving
رده :
QA
155
.
7
.
E4
.
C35
2000
1162. Symbolic projection for image information retrieval and spatial reasoning /
پدیدآورنده: Shi-Kuo Chang, Erland Jungert.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer graphics.,Computer vision.,Image files.,Image processing.,Information retrieval.,Linear integrated circuits.,Spatial systems.,Stereoscopic views.,Banques d'images-- Informatique.,Imagerie (Technique),Perception spatiale.,Systèmes spatiaux.,Traitement d'images.,Computer graphics.,Computer vision.,COMPUTERS-- Information Theory.,Image files.,Image processing.,Information retrieval.,Linear integrated circuits.,Spatial systems.,Stereoscopic views.,TECHNOLOGY & ENGINEERING-- Signals & Signal Processing.
رده :
TA1632
.
C445
1996eb
1163. Symposium on Computer Augmentation of Human Reasoning; ]proceedings[
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Artificial intelligence-- Congresses,، Electronic data processing-- Congresses
رده :
Q
335
.
S9
1964
1164. Systematic Atheology :Atheism's Reasoning With Theology
پدیدآورنده: Shook, John R.
کتابخانه: كتابخانه تخصصی لاتين پژوهشگاه علوم و فرهنگ اسلامی (دفتر تبليغات اسلامی حوزه علمیه قم) (قم)
موضوع: ، Atheism
رده :
BL
2747
.
3
.
S41894
2018
1165. THE ELEMENTS OF REASONING
پدیدآورنده: Conway, David A.
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع:
رده :
BC
177
.
C6
E4
1997
1166. Tarkabhasa (exposition of reasoning)
پدیدآورنده: By Kesavamisra; Critically edited by Narayan Nathaji Kulkarni
کتابخانه: كتابخانه دانشكده ادبيات دانشگاه تهران (تهران)
موضوع: Nyaya.,Reasoning.,Cognition.
1167. Tarkabhasa; or Exposition of reasoning
پدیدآورنده: Translated into English by Mahamahopadhyaya pandit Ganganatha Jha
کتابخانه: كتابخانه دانشكده ادبيات دانشگاه تهران (تهران)
موضوع: Nyaya.,Reasoning.,Cognition.
1168. Teaching mathematical reasoning in secondary school classrooms
پدیدآورنده: Karin Brodie with contributions by Kurt Coetzee ... ]et al.[
کتابخانه: کتابخانه مرکزی و مرکز اسناد و اطلاع رسانی دانشگاه هرمزگان (هرمزگان)
موضوع: Study and teaching )Secondary( ، Mathematics,Study and teaching )Secondary( ، Logic, Symbolic and mathematical
رده :
QA
8
.
7
.
B76
T43
1169. Techniques and Limits of Legal Reasoning in Shari'a Today
پدیدآورنده: Emon, Anver
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
1170. Techniques of critical reasoning
پدیدآورنده: Annis , David B
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع: ، Reasoniong
رده :
BC
177
A53
1171. Techniques of decision making, uncertain reasoning and regression analysis under the hesitant fuzzy environment and their applications
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Fuzzy decision making. ;
1172. Test your logic : 50 puzzles in deductive reasoning
پدیدآورنده: Summers, George J.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Puzzles
رده :
GV
1507
.
Q5
S82
1972
1173. Cambridge Handbook Of Thinking And Reasoning
پدیدآورنده: \ Edited By Keith J. Holyoak , Robert G. Morrison
کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)
موضوع: اندیشه و تفکر,Thought and thinking.,Reasoning (Psychology),استدلال (روانشناسی)
رده :
BF
441
.
C36
1174. The Cambridge handbook of thinking and reasoning
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه علوم پزشكی اصفهان (اصفهان)
موضوع: Thought and thinking,Reasoning (Psychology)
رده :
BF441
.
C3
2005
1175. The Cambridge handbook of thinking and reasoning
پدیدآورنده: / edited by Keith J. Holyoak and Robert G. Morrison
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Thought and thinking,Reasoning (Psychology)
رده :
BF441
.
C265
2005
R
1176. The Cambridge handbook of thinking and reasoning
پدیدآورنده: / edited by Keith J. Holyoak and Robert G. Morrison
کتابخانه: کتابخانه تخصصی کارآفرینی (دانشگاه تهران) (تهران)
موضوع: Thought and thinking,Reasoning (Psychology)
رده :
BF
441
.
C265
2005
1177. The Cambridge handbook of thinking and reasoning
پدیدآورنده: / edited by Keith J. Holyoak and Robert G. Morrison
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Thought and thinking,Reasoning (Psychology)
رده :
BF441
.
C265
2005
1178. The Cambridge handbook of thinking and reasoning
پدیدآورنده: / edited by Keith J. Holyoak and Robert G. Morrison
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Thought and thinking,Reasoning (Psychology)
رده :
BF441
.
C265
2005
1179. The Cambridge handbook of thinking and reasoning
پدیدآورنده: edited by Keith J. yoak and Robert G. Morrison
کتابخانه: کتابخانه مرکزي و مرکز اسناد دانشگاه سمنان (سمنان)
موضوع: ، Thought and thinking,، Reasoning )Psychology(
رده :
BF
441
.
C265
2005
1180. reasoning = Cambridge handbook of thinking and reasoning>
پدیدآورنده: / edited by Keith J. Holyoak , Robert G. Morrison.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
رده :
BF441
.
C265
2005
