5881. Toposes, Algebraic geometry and logic
المؤلف: ]by[ I.Bucur ]and others[ edited by F.W.Lawvere
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Categories )Mathematics(,Congresses ، Nosa Detected Damaged Record #4254,Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
274
5882. Toposes, algebraic geometry and logic
المؤلف: ]by[ I. Bucur... ]et al.[ ; Edited by F. W. Lawvere
المکتبة: (طهران)
موضوع: Congresses ، Categories )Mathematics(,Congresses ، Geometry, Algebraic,Congresses ، Logic, Symbolic and mathematical,، Toposes
رده :
QA
169
.
T6
1972
5883. Toposes, algebraic geometry and logic : Dalhousie University, Halifax, January 16-19, 1971
المؤلف: I. Bucur ... ]et al.[; edited by F. W. Lawvere
المکتبة: (طهران)
موضوع: Congresses ، Categories )Mathematics(,Congresses ، Geometry, Algebraic,Congresses ، Logic, Symbolic and mathematical,Congresses ، Toposes
رده :
QA
3
.
L28
Vol
.
274
5884. Towards a Design Flow for Reversible Logic
المؤلف: / Robert Wille, Rolf Drechsler
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: ENGINEERING, CIVIL|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
5885. Towards a design flow for reversible logic
المؤلف: Wille, Robert., Robert Wille, Rolf Drechsler
المکتبة: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Computer logic,، Computer architecture,، Logic programming
رده :
QA
76
.
9
.
L63
W55
2010
5886. Towards a design flow for reversible logic
المؤلف: / Robert Wille, Rolf Drechsler
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer logic.,Computer architecture.,Logic programming.
رده :
QA
,
76
.
9
,.
L63
,
W55
,
2010
5887. Towards a design flow for reversible logic
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer logic. ; Computer architecture. ; Logic programming. ; Reversible computing. ;
5888. Towards a model of strategic management incorporating fuzzy logic
المؤلف: Chao-Chin, Kan
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Business
5889. Towards an arithmetical logic :
المؤلف: by Yvon Gauthier
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical,Mathematics-- Philosophy
رده :
QA1-939
5890. Towards an arithmetical logic :
المؤلف: Yvon Gauthier
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical,Mathematics-- Philosophy
5891. Towards mathematical philosophy : papers from the studia logica conference Trends in logic IV
المؤلف: edited by David Makinson, Jacek Malinowski, Heinrich Wansing
المکتبة: (طهران)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics -- Philosophy
رده :
QA
9
.
A1S78
2006
5892. Towards mathematical philosophy: papers from the studia logica conference trends in logic IV
المؤلف: Makinson, David.
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics-- Philosophy
رده :
QA
9
.
A1
.
M235
2009
5893. Towards mathematical philosophypapers from the Studia Logica Conference Trends in Logic IV
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics-- Philosophy
رده :
QA
9
.
S88
2008
5894. Towards non-being :the logic and metaphysics of intentionality
المؤلف: Priest, Graham.
المکتبة: كتابخانه دانشگاه مفيد (قم)
موضوع: ، Intentionality )Philosophy(
رده :
B105
.
I56
P76
2005
5895. Towards non-being : the logic and metaphysics of intentionality
المؤلف: Priest, Graham, 8491-
المکتبة: (طهران)
موضوع: ، Intentionality )Philosophy(,، Philosophy of mind,Philosophy ، Language and languages
رده :
B
105
.
I56P74
2016
5896. Towards the Future of Fuzzy Logic
المؤلف: / Rudolf Seising, Enric Trillas, Janusz Kacprzyk
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: CONTROL SYSTEMS& METHODS|AUTOMATION &COMPUTER SCIENCE, THEORY
رده :
E-BOOK
5897. Towards the Future of Fuzzy Logic
المؤلف:
المکتبة: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع: Fuzzy logic,Economics, Mathematical,Engineering
رده :
511
.
313
T737
2015
21
5898. Trading ontology for ideology :the interplay of logic, set theory, and semantics in Quine's philosophy
المؤلف: Decock, Lieven.
المکتبة: كتابخانه دانشگاه مفيد (قم)
موضوع:
رده :
B
945
.
Q54
D4
2002
5899. Transactions and change in logic databases : International Seminar on Logic Databases and the
المؤلف: Burkhard Freitag...]et al.[, )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Deductive databases,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
1472
5900. Transistor logic cirauits
المؤلف: Hurley, Richard B
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Switching thoery,، Transistor circuit
رده :
TK
7872
.
T73
.
H87
