Rewriting and Typed Lambda CalculiJoint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings
| Main Author: | SpringerLink (Online service) |
|---|---|
| Format: | EBK |
| Bahasa: | eng |
| Subjects: | |
| Online Access: |
http://uilis.unsyiah.ac.id/uilis/index.php?p=show_detail&id=94247 |
Internet
http://uilis.unsyiah.ac.id/uilis/index.php?p=show_detail&id=94247Lokasi
| Koleksi | Katalog Perpustakaan Unsyiah |
|---|---|
| Gedung | Perpustakaan Universitas Syiah Kuala |
| Institusi | Universitas Syiah Kuala |
| Kota | KOTA BANDA ACEH |
| Provinsi | ACEH |
| Kontak | Butuh informasi lebih lanjut? Hubungi pustakawan institusi ini. |