Koleksi

Pencarian Spesifik

Adapting Proofs-as-Programs

Crossley, John N. - Poernomo, Iman. - Wirsing, Martin.
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/0-387-28183-5

Theoretical Aspects of Computing - ICTAC 2005

Hung, Dang Van. - SpringerLink (Online service) - Wirsing, Martin.
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/11560647

Hasil Pencarian

Ditemukan 2 dari pencarian Anda melalui kata kunci: author="Wirsing, Martin."
Permintaan membutuhkan 2.39441 detik untuk selesai
XML ResultJSON Result

Informasi

Akses Katalog Publik Daring - Gunakan fasilitas pencarian untuk mempercepat penemuan data katalog