Symbolic logic and mechanical theorem proving /

other_versions_link
গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক: Chang, Chin-lidng
অন্যান্য লেখক: Lee, Richard Char-tung
ভাষা:Undetermined
প্রকাশিত: 1973.
মালা:Computer science and applied mathematics,A series of monogra

University of Kerala

হোল্ডিংসের বিবরণ University of Kerala
ডাক সংখ্যা: R14 L3
প্রতিলিপি LC1 বর্তমান অবস্থা অনুপলব্ধ

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