Generic Programs and Proofs

গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক: Hinze, R
বিন্যাস: গবেষণাপত্র
প্রকাশিত: 2000