Inductive Data Types Based on Fibrations Theory in Programming / CIT Journal of Computing and Information Technology Vol. 24 No. 1 Tahun 2016

Search by:

All Author Subject ISBN/ISSN Advanced Search

Last search:

CIT Journal of Computing

Inductive Data Types Based on Fibrations Theory in Programming / CIT Journal of Computing and Information Technology Vol. 24 No. 1 Tahun 2016

Decheng Miao - Personal Name; Jianqing Xi - Personal Name; Yubin Guo - Personal Name; Deyou Tang - Personal Name;

Description not available

Ketersediaan

E-ART.10.16.609 Tersedia

Informasi Detil

Judul Seri: -
No. Panggil: E-ART.2016.CD.01/E-ART.10.16.609
Penerbit: China : Shaoguan University., 2016
Deskripsi Fisik: -
Bahasa
ISBN/ISSN: -
Klasifikasi: -
Tipe Isi: -
Tipe Media: -
Tipe Pembawa: -
Edisi: -
Subyek: -
Info Detil Spesifik: -
Pernyataan Tanggungjawab: -

Inductive Data Types Based on Fibrations Theory in Programming / CIT Journal of Computing and Information Technology Vol. 24 No. 1 Tahun 2016

Ketersediaan

Informasi Detil

Versi lain/terkait

Lampiran Berkas

Komentar