6081. Nonmonotonic and inductive logic: second international workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991 : proceedings

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Logic programming-- Congresses,، Artificial intelligence-- Congresses

رده :
QA
76
.
63
.
N67
1993

6082. nonmonotonic and inductive logic:second international workshop,Reinhardbrunn castle,Germany,December 2-6,1991:proceedings/

پدیدآورنده:

کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)

موضوع: Logic programming-congresses

رده :
QA
76
.
63
.
N7
1993

6083. on the logic of the social sciences

پدیدآورنده:

کتابخانه: کتابخانه، مرکز اسناد و مدارک علمی پژوهشگاه حوزه و دانشگاه (قم)

موضوع: ، Social Sciences - Methodology

رده :
H
61
.
H251
1988

6084. organic reactions:simplicity and logic

پدیدآورنده:

کتابخانه: کتابخانه مرکزي و مرکز اسناد دانشگاه سمنان (سمنان)

موضوع: ، Chemistry,organic,، Chemical reactions

رده :
QD
253
.
L3813
1995

6085. philosophy of logic/

پدیدآورنده:

کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)

موضوع: منطق,Logic

رده :
BC51
.
P8

6086. plc پي ال سي مقدماتيIntroductin to programmable Logic Controllers= عملکرد سيستم هاي کنترل بوسيله کنتاکتور, آشنايي با مدارهاي کنترل ديجيتال و

پدیدآورنده:

کتابخانه: كتابخانه عمومی خرامه (فارس)

موضوع: کنترل کننده هاي برنامه پذير

رده :
629
895-
ک
229
پ

6087. plc]پی ال سی [مقدماتی Programmable logic control introduction =

پدیدآورنده:

کتابخانه: کتابخانه خاوران(کتابخانه های سازمان فرهنگی هنری شهرداری تهران) (تهران)

موضوع: ،کنترل کنندههای برنامه ریز،

رده :
629
/895
ک
229
پ

6088. programmable logic and applications :-Field

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Field programmable gate arrays ; Congresses ; Programmable array logic ; Congresses ;

6089. 6800 programming for logic design

پدیدآورنده:

کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)

موضوع: ، Logic design,، MC0086 )Computer(- Programming,، Microcomputers- Programming,، Assembler language )Computer program language(

رده :
QA
268
.
5
.
O83

6090. selected Logic Papers

پدیدآورنده:

کتابخانه: كتابخانه دانشگاه مفيد (قم)

رده :
B
945
.
Q53
S4
1996

6091. sets logic, and axiomatic theories

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)

موضوع: ، Set theory,، Logic , Symoblic and Mathematical

رده :
QA
248
.
3
.
S78
1974

6092. switching theory and logic design

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)

موضوع: Switching theory,Logic design

رده :
QA401
.
K8

6093. 30th IEEE International Symposium on Multiple-Valued Logic )ISMVL 2000( : proceedings

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Many-valued logic,Congresses ، Switching theory

رده :
QA
9
.
45
.
I58
2000

6094. the science of logic

پدیدآورنده:

کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)

6095. theory-Hybrid logic and its proof

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Proof theory. ; Logic, Symbolic and mathematical. ;

6096. timing simulation and the degradation delay model-Logic

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Timing circuits. ; Integrated circuits ; Very large scale integration. ; Metal oxide semiconductors, Complementary. ;

6097. year perspective on logic programming-A 25

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Gruppo Ricercatori e Utenti Logic Programming. ; Logic programming. ;

6098. Fuzzy- logic- based approach و طراحی نرم افزار کامپیوتری مربوطه جهت اجرای این روش

کتابخانه: کتابخانه پژوهشکده بیمه (تهران)

موضوع: بیمه,بیمه- آمار,مکان یابی,منطق فازی,امکان سنجی,برنامه ریزی توسعه,طراحی به کمک کامپیوتر

6099. آشنایی با منطق ریاضی,A mathamatical in troduction to logic

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اسناد شهيد مطهری دانشگاه رازى (کرمانشاه)

موضوع: منطق ریاضی

رده :
QA
9
/
الف
8
آ
5

6100. آشنائی با منطق ریاضی,A mathematical introduction to logic

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اسناد شهيد مطهری دانشگاه رازى (کرمانشاه)

موضوع: منطق ریاضی

رده :
QA
9
/
الف
8
آ
5