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