5881. Toposes, algebraic geometry and logic
Author: ]by[ I. Bucur... ]et al.[ ; Edited by F. W. Lawvere
Library: Library of College of Science University of Tehran (Tehran)
Subject: Congresses ، Categories )Mathematics(,Congresses ، Geometry, Algebraic,Congresses ، Logic, Symbolic and mathematical,، Toposes
Classification :
QA
169
.
T6
1972
5882. Toposes, algebraic geometry and logic : Dalhousie University, Halifax, January 16-19, 1971
Author: I. Bucur ... ]et al.[; edited by F. W. Lawvere
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Categories )Mathematics(,Congresses ، Geometry, Algebraic,Congresses ، Logic, Symbolic and mathematical,Congresses ، Toposes
Classification :
QA
3
.
L28
Vol
.
274
5883. Towards a Design Flow for Reversible Logic
Author: / Robert Wille, Rolf Drechsler
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: ENGINEERING, CIVIL|ENGINEERING, MULTIDISCIPLINARY
Classification :
E-BOOK
5884. Towards a design flow for reversible logic
Author: Wille, Robert., Robert Wille, Rolf Drechsler
Library: Library and Documentation Center of Kurdistan University (Kurdistan)
Subject: ، Computer logic,، Computer architecture,، Logic programming
Classification :
QA
76
.
9
.
L63
W55
2010
5885. Towards a design flow for reversible logic
Author: / Robert Wille, Rolf Drechsler
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer logic.,Computer architecture.,Logic programming.
Classification :
QA
,
76
.
9
,.
L63
,
W55
,
2010
5886. Towards a design flow for reversible logic
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer logic. ; Computer architecture. ; Logic programming. ; Reversible computing. ;
5887. Towards a model of strategic management incorporating fuzzy logic
Author: Chao-Chin, Kan
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Business
5888. Towards an arithmetical logic :
Author: by Yvon Gauthier
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical,Mathematics-- Philosophy
Classification :
QA1-939
5889. Towards an arithmetical logic :
Author: Yvon Gauthier
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical,Mathematics-- Philosophy
5890. Towards mathematical philosophy : papers from the studia logica conference Trends in logic IV
Author: edited by David Makinson, Jacek Malinowski, Heinrich Wansing
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics -- Philosophy
Classification :
QA
9
.
A1S78
2006
5891. Towards mathematical philosophy: papers from the studia logica conference trends in logic IV
Author: Makinson, David.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics-- Philosophy
Classification :
QA
9
.
A1
.
M235
2009
5892. Towards mathematical philosophypapers from the Studia Logica Conference Trends in Logic IV
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics-- Philosophy
Classification :
QA
9
.
S88
2008
5893. Towards non-being :the logic and metaphysics of intentionality
Author: Priest, Graham.
Library: Library of Mofid University (Qom)
Subject: ، Intentionality )Philosophy(
Classification :
B105
.
I56
P76
2005
5894. Towards non-being : the logic and metaphysics of intentionality
Author: Priest, Graham, 8491-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Intentionality )Philosophy(,، Philosophy of mind,Philosophy ، Language and languages
Classification :
B
105
.
I56P74
2016
5895. Towards the Future of Fuzzy Logic
Author: / Rudolf Seising, Enric Trillas, Janusz Kacprzyk
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: CONTROL SYSTEMS& METHODS|AUTOMATION &COMPUTER SCIENCE, THEORY
Classification :
E-BOOK
5896. Towards the Future of Fuzzy Logic
Author:
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Fuzzy logic,Economics, Mathematical,Engineering
Classification :
511
.
313
T737
2015
21
5897. Trading ontology for ideology :the interplay of logic, set theory, and semantics in Quine's philosophy
Author: Decock, Lieven.
Library: Library of Mofid University (Qom)
Subject:
Classification :
B
945
.
Q54
D4
2002
5898. Transactions and change in logic databases : International Seminar on Logic Databases and the
Author: Burkhard Freitag...]et al.[, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Deductive databases,Congresses ، Logic programming
Classification :
QA
76
.
L28
Vol
.
1472
5899. Transistor logic cirauits
Author: Hurley, Richard B
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Switching thoery,، Transistor circuit
Classification :
TK
7872
.
T73
.
H87
5900. Transistor logic circuits
Author: HURLEY,RICHARD B
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: SWITCHING THEORY , TRANSISTOR CIRCUITS
Classification :
TK
7872
.
T73
H87
