6021. Words of power : a feminist reading of the history of logic
پدیدآورنده: Andrea Nye,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Logic - History,Feminist theory
رده :
BC
.
N94
57
1990
6022. Words of power : a feminist reading of the history of logic
پدیدآورنده: Andrea Nye,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Logic - History,Feminist theory
رده :
BC
.
N94
57
1990
6023. Words of power : a feminist reading of the history of logic
پدیدآورنده: Andrea Nye
کتابخانه: کتابخانه مطالعات اسلامی زن و خانواده (تهران) (تهران)
موضوع: Feminist theory ***** Logic > History *****
6024. Words without objects :semantics, ontology, and logic for non-singularity
پدیدآورنده: Laycock, Henry.
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع:
رده :
P
325
.
L3
W6
2006
6025. Workbook for Essentials of Logic
پدیدآورنده: Mancias, Peter T.
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع:
رده :
BC
108
.
M3
W6
1968
6026. Year Perspective on Logic Programming-A 25
پدیدآورنده: / Agostino Dovier, Enrico Pontelli
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: METHODS&COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
6027. Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, GULP-A 25
پدیدآورنده: / Gianfranco Rossi (auth.), Agostino Dovier, Enrico Pontelli (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
6028. Yeats and the logic of formalism /
پدیدآورنده: Vereen M. Bell.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Yeats, W. B., (William Butler),1865-1939-- Criticism and interpretation.,Formalism (Literary analysis),Philosophy in literature.
رده :
PR5907
.
B36
2006
6029. agent systems-Computational logic in multi
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer logic ; Congresses. ; Intelligent agents (Computer software) ; Congresses. ;
6030. agent systems-Computational logic in multi
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer logic ; Congresses. ; Intelligent agents (Computer software) ; Congresses. ;
6031. agent systems-Computational logic in multi
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer logic ; Congresses. ; Intelligent agents (Computer software) ; Congresses. ; Mehragentensystem. ; swd. ; Computational logic. ; swd. ;
6032. Shafa. al-Qiyas, Propositional logic of Avicenna
پدیدآورنده:
کتابخانه: كتابخانه ايرانشناسی مجلس شورای اسلامی (تهران)
موضوع: Logic - Early works to 1800
رده :
B
,
751
,.
S523
,
pt
.
4
6033. aristotelian logic and the arabic language
پدیدآورنده: / Shukri B. Abed
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع: ف‍اراب‍ی، م‍ح‍م‍دب‍ن م‍ح‍م‍د، ۲۶۰؟ - ۳۳۹ق. -- زب‍ان,ف‍اراب‍ی، م‍ح‍م‍دب‍ن م‍ح‍م‍د، ۲۶۰؟ - ۳۳۹ق. -- م‍ن‍طق,م‍ن‍طق -- اص‍طلاح‌ش‍ن‍اس‍ی -- ت‍اری‍خ,ارس‍طو، ۳۲۲ - ۳۸۴؟ق.م -- Aristotels.م‍ن‍طق,اث‍ب‍ات‌گ‍رای‍ی م‍ن‍طق‍ی
رده :
BBR
۳۲۹
/
ز
۲
ع
۲ ۱۳۷۰
6034. based circuits :-Logic design for array
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: specific integrated circuits ; Design and construction ; Data processing. ;-Application
6035. based fuzzy logic model for soft tissue deformation.-time knowledge-Real
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع:
6036. based logic synthesis-Memory
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Logic circuits. ; Field programmable gate arrays ; Design and construction. ; Semiconductor storage devices. ;
6037. based program synthesis and transformation :-Logic
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Logic programming ; Congresses ;
6038. 501 challenging logic and reasoning problem
پدیدآورنده:
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Logic, Problems, exercises, et,Reasoning, Problems, exercises, et,Critical thinking, Problems, exercises, et
رده :
BC108
.
A15
2005
6039. 501 challenging logic and reasoning problems
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Logic Problems, exercises, etc,Reasoning Problems, exercises, etc,Critical thinking Problems, exercises, etc
رده :
BC108
.
A15
2005
6040. 501 challenging logic and reasoning problems.
پدیدآورنده:
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Critical thinking, Problems, exercises, etc.,Logic, Problems, exercises, etc.,Reasoning, Problems, exercises, etc.,Critical thinking.,Logic.,Reasoning.
رده :
BC108
.
A15
2005
