4 sonuç bulundu Arama sonuçlarına abone ol
Tümünü Seç
Liste görünümüne geç
Küçük resim görünümüne geç
0000DEFAULTTR
Yazdır
1. 
Axiomatic Method and Category Theory için kapak resmi
Axiomatic Method and Category Theory
Axiomatic Method and Category Theory
Yazar 
Rodin, Andrei. author.
http://dx.doi.org/10.1007/978-3-319-00404-4
Format: 
Electronic Resources
Alıntı: 
Mathematical Logic and Foundations.
3. 
Temporal Type Theory A Topos-Theoretic Approach to Systems and Behavior için kapak resmi
Temporal Type Theory A Topos-Theoretic Approach to Systems and Behavior
Temporal Type Theory A Topos-Theoretic Approach to Systems and Behavior
Yazar 
Schultz, Patrick. author.
https://doi.org/10.1007/978-3-030-00704-1
Format: 
Electronic Resources
Alıntı: 
Mathematical Logic and Foundations. https://scigraph.springernature.com/ontologies/product-market
4. 
Simplicial Methods for Higher Categories Segal-type Models of Weak n-Categories için kapak resmi
Simplicial Methods for Higher Categories Segal-type Models of Weak n-Categories
Simplicial Methods for Higher Categories Segal-type Models of Weak n-Categories
Yazar 
Paoli, Simona. author.
https://doi.org/10.1007/978-3-030-05674-2
Format: 
Electronic Resources
Alıntı: 
Mathematical Physics. https://scigraph.springernature.com/ontologies/product-market-codes/M35000
Tümünü Seç
4 sonuç bulundu Arama sonuçlarına abone ol

TED Üniversitesi

Ziya Gökalp Caddesi No.48 06420, Kolej Çankaya Ankara Tel: +90 312 585 0083

Powered by Informascope