6061. monotonic turn in logic-The many valued and non

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

موضوع: valued logic. ; Nonmonotonic reasoning. ; -Many

6062. mysticism and logic and other essays

المؤلف:

المکتبة: كتابخانه تخصصی تاریخ اسلام و ایران (قم)

موضوع: لاتین

6063. neural networks, fuzzy logic, and genetic algorithms

المؤلف:

المکتبة: المكتبة المركزية لجامعة إيلام (إیلام)

موضوع: Intelligent control systems,Fuzzy logic,Neural networks (Computer science),Genetic algorithms

رده :
TJ217
.
5
.
R2N4
2007

6064. niewski's Systems of Logic and Foundations of Mathematicsج‍Le

المؤلف:

المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع: METHODS&COMPUTER SCIENCE, THEORY

رده :
E-BOOK

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

المؤلف:

المکتبة: (کرمان)

موضوع: Logic programming-congresses

رده :
QA
76
.
63
.
N7
1993

6066. 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

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

المؤلف:

المکتبة: (کرمان)

موضوع: Logic programming-congresses

رده :
QA
76
.
63
.
N7
1993

6068. on the logic of the social sciences

المؤلف:

المکتبة: مكتبة, ومركز المعلومات ومركز الوثائق العلمية لمركز بحوث الحوزة والجامعة (قم)

موضوع: ، Social Sciences - Methodology

رده :
H
61
.
H251
1988

6069. organic reactions:simplicity and logic

المؤلف:

المکتبة: المکتبۀ المرکزیۀ ومرکز التوثیق (سمنان)

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

رده :
QD
253
.
L3813
1995

6070. philosophy of logic/

المؤلف:

المکتبة: (طهران)

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

رده :
BC51
.
P8

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

المؤلف:

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

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

رده :
629
895-
ک
229
پ

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

المؤلف:

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

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

رده :
629
/895
ک
229
پ

6073. programmable logic and applications :-Field

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

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

6074. 6800 programming for logic design

المؤلف:

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

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

رده :
QA
268
.
5
.
O83

6075. selected Logic Papers

المؤلف:

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

رده :
B
945
.
Q53
S4
1996

6076. sets logic, and axiomatic theories

المؤلف:

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

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

رده :
QA
248
.
3
.
S78
1974

6077. switching theory and logic design

المؤلف:

المکتبة: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)

موضوع: Switching theory,Logic design

رده :
QA401
.
K8

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

المؤلف:

المکتبة: (طهران)

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

رده :
QA
9
.
45
.
I58
2000

6079. the science of logic

المؤلف:

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

6080. theory-Hybrid logic and its proof

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

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