Typed Lambda Calculi and Applications

Masahito Hasegawa

Informasi Dasar

15 kali
16.21.1911
511.3
Buku - Elektronik (E-Book)
Tel-U Gedung Manterawu Lantai 5 : Rak 10a
Tel-U Purwokerto : Rak 5

Subjek

Mathematical Logic
 

Katalog

Typed Lambda Calculi and Applications
978-3-642-38946-7
 
English

Sirkulasi

Rp. 0
Rp. 0
Tidak

Pengarang

Masahito Hasegawa
Perorangan
 
 

Penerbit

Springer Berlin Heidelberg
 
2013

Koleksi

1 Koleksi
1 Koleksi

Kompetensi

 

Download / Flippingbook

diunduh 38 kali
 

Ulasan

Belum ada ulasan yang diberikan
anda harus sign-in untuk memberikan ulasan ke katalog ini