The HOL Logic Extended with Quantification over Type Variables

The HOL Logic Extended with Quantification over Type Variables

অন্যান্য সংস্করণ প্রদর্শন করুন (1)
গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক: Melham, T
বিন্যাস: Journal article
প্রকাশিত: 1994
Search Result 1
The HOL Logic Extended with Quantification over Type Variables

The HOL Logic Extended with Quantification over Type Variables অনুযায়ী Melham, T

প্রকাশিত 1993
Conference item
সমস্ত সংস্করণ দেখান (2)

অনুরূপ উপাদানগুলি