Voevodsky's Univalence Axiom in Homotopy Type Theory | PERPUSTAKAAN UNIVERSITAS KATOLIK PARAHYANGAN

Pencarian berdasarkan :

Pencarian terakhir:

Text

Voevodsky's Univalence Axiom in Homotopy Type Theory

Awodey, Steve - Nama Orang; Pelayo, Alvaro - Nama Orang; Warren, Michael A. - Nama Orang;

Tidak Tersedia Deskripsi

Barcode		Tipe Koleksi	Nomor Panggil	Lokasi	Status
art87508	null	Artikel		Gdg9-Lt3	Tersedia namun tidak untuk dipinjamkan - No Loan

Judul Seri: NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY; Vol.60 No.9 October 2013
No. Panggil: -
Penerbit: : .,
Deskripsi Fisik: p.1164-1167
Bahasa: English
ISBN/ISSN: -
Klasifikasi: -
Tipe Isi: -
Tipe Media: -
Tipe Pembawa: -
Edisi: -
Subjek: -
Info Detail Spesifik: -
Pernyataan Tanggungjawab: Steve Awodey, Alvaro Pelayo, Michael A. Warren

Tidak tersedia versi lain

Tidak Ada Data