161. Categorical logic and type theory
Author: / Bart Jacobs
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Type theory.,Categories (Mathematics)
Classification :
QA9
,.
J27
,
1999
162. Categorical logic and type theory
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Type theory. ; Categories (Mathematics) ;
163. Categorical logic and type theory
Author: Jacobs, Bart
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Type theory,، Categories )Mathematics(
Classification :
QA
9
.
J22
164. Categorical methods in computer science : with aspects from topology
Author: H. Ehrig...]et al.[, eds
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science,Congresses ، Categories )Mathematics(,Congresses ، Topology
Classification :
QA
76
.
L28
Vol
.
393
165. Categorical methods in computer science : with aspects from topology
Author: H. Ehrig ... )et al.(, eds
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Computer science - Congresses,Categories )Mathematics( - Congresses,Topology - Congresses
Classification :
QA
75
.
5C36
1989
166. Categorical methods in computer science : with aspects from topology
پدیدآورنده :
موضوع : ، Computer science - Congresses,، Categories )Mathematics( - Congresses,، Topology - Congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
167. Categorical spects of topology and analysis: proceedings of an International conference held at Carleton University, Ottawa, August 11-15, 1981
Author: edited by B. Banaschewski
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Congresses ، Categories )Mathematics(,Congresses ، Topology
Classification :
QA
3
.
L28
no
.
915
168. Categorical structure of closure operators with applications to topology, algebra, and discrete mathematics
Author: by D. Dikranjan and W. Tholen
Library: Vali Asr University Central Library (Kerman)
Subject: Categories )Mathematics(,Closure operators
Classification :
QA
169
.
D544
1995
169. Categorical structure of closure operators with applications to topology, algebra, and discrete mathematics
Author: Dikranjan, Dikran N.,0591-, by D. Dikranjan and W. Tholen
Library: Library and Documentation Center of Kurdistan University (Kurdistan)
Subject: ، Categories )Mathematics(,، Closure operators
Classification :
QA
169
.
D544
1995
170. Categorical structure of closure operators with applications to topology, algebra, and discrete mathematics
Author: Dikranjan, Dikran N.
Library: Central Library and Documentation Center (Semnan)
Subject: ، Categories )Mathematics(,، Closure operators
Classification :
QA
169
.
D544
1995
171. Categorical structure of closure operators with applications to topology, algebra, and discrete mathematics
Author: Dikranjan, Dikran N.
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Categories )Mathematics(,، Closure operators
Classification :
QA
169
.
D54
1995
172. Categorical structure of closure operators with applications to topology, algebra, and discrete mathematics
Author: Dikranjan, Dikran N.
Library: Central Library and Documentation Center (Kerman)
Subject: ، Categories )Mathematics(,، Closure operators
Classification :
QA
169
.
D54
1995
173. Categorical topology
Author: / edited by H. Herrlich and G. Preuss
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Categories (Mathematics)--Congresses,Topology--Congresses
Classification :
QA3
,.
L28
,
no
.,
71
174. Categorical topology : Proceedings of the International Conference, Berlin, August 27th to September 2nd, 1978
Author: edited by H. Herrlich and G. Preuss
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Categories )Mathematics(,Congresses ، Topology
Classification :
QA
3
.
L28
Vol
.
719
175. Categorical topology: Proceedings of the L'Aquila conference (1994)
Author: Edited by Eraldo Giuli
Library: Central Library and Document Center of Shahid Madani University of Azarbayjan (East Azarbaijan)
Subject: Categories (mathematics) - Congresses,Topology - Congresses
Classification :
QA
,
169
,.
C373
176. Categorical topology and its relation to analysis, algebra and combinatorics : Prague, Czechoslovakia,22-27 August 1988
Author: editors Jiri Adamek, Saunder Maclane
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Categories )Mathematics(,Congresses ، Topology,Congresses ، Combinatorial topology
Classification :
QA
169
.
I52
1988
177. Categorical topology: preceedings of the International conference, Berlin, August Herrlich and G. Preuss
Author:
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Congresses ، Categories )Mathematics(,Congresses ، Topology
Classification :
QA
3
.
L28
no
.
719
178. Categorical topology : proceedings of the Conference held at Mannheim, 21-25 July, 1975
Author: edited by E. Binz and H. Herrlich
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Topology,Congresses ، Categories )Mathematics(
Classification :
QA
3
.
L28
Vol
.
540
179. Categorical topology: proceedings of the conference held at Mannheim, 21-25 July, 1975
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Topology,Congresses ، Categories )Mathematics(
Classification :
QA
3
.
L28
no
.
540
180. Categorical topology: proceedings of the conference held at Mannheim, 21-25 July, 1975
Author: Conference on Categorial Topology, Manngeim
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Congresses ، Topology,Congresses ، Categories )Mathematics(
Classification :
QA
3
.
L28
no
.
540
