5881. Topoi, the categorial analysis of logic
المؤلف: / Robert Goldblatt
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Toposes
رده :
QA169
.
G64
1983
5882. Topology via logic
المؤلف: Vickers, Steven
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Topology
رده :
QA
611
.
V53
1989
5883. Topology via logic
المؤلف: / Steven Vickers
المکتبة: المكتبة المركزية ومركز الوثائق بجامعة آراك (مرکزي)
موضوع: Topology
رده :
514
V637t
5884. Topology via logic
المؤلف: Vickers, Steven.
المکتبة: المکتبۀ المرکزیۀ ومرکز التوثیق (سمنان)
موضوع: ، Topology
رده :
QA
611
.
V53
1989
5885. 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
5886. 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
5887. 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
5888. Towards a Design Flow for Reversible Logic
المؤلف: / Robert Wille, Rolf Drechsler
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: ENGINEERING, CIVIL|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
5889. 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
5890. Towards a design flow for reversible logic
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer logic. ; Computer architecture. ; Logic programming. ; Reversible computing. ;
5891. Towards a design flow for reversible logic
المؤلف: / Robert Wille, Rolf Drechsler
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer logic.,Computer architecture.,Logic programming.
رده :
QA
,
76
.
9
,.
L63
,
W55
,
2010
5892. Towards a model of strategic management incorporating fuzzy logic
المؤلف: Chao-Chin, Kan
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Business
5893. Towards an arithmetical logic :
المؤلف: by Yvon Gauthier
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical,Mathematics-- Philosophy
رده :
QA1-939
5894. Towards an arithmetical logic :
المؤلف: Yvon Gauthier
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical,Mathematics-- Philosophy
5895. 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
5896. 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
5897. Towards mathematical philosophypapers from the Studia Logica Conference Trends in Logic IV
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics-- Philosophy
رده :
QA
9
.
S88
2008
5898. Towards non-being :the logic and metaphysics of intentionality
المؤلف: Priest, Graham.
المکتبة: كتابخانه دانشگاه مفيد (قم)
موضوع: ، Intentionality )Philosophy(
رده :
B105
.
I56
P76
2005
5899. 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
5900. Towards the Future of Fuzzy Logic
المؤلف: / Rudolf Seising, Enric Trillas, Janusz Kacprzyk
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: CONTROL SYSTEMS& METHODS|AUTOMATION &COMPUTER SCIENCE, THEORY
رده :
E-BOOK
