Adapting Proofs-as-Programs

Theoretical Aspects of Computing - ICTAC 2005

Hasil Pencarian


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

Informasi


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