Symbolic, logic and mechanical theorem proving

other_versions_link
গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক: Chang, Chin-Liang
অন্যান্য লেখক: Lee, Richard Char-Tung
বিন্যাস: Printed Book
ভাষা:English
প্রকাশিত: New York Academic Press 1973
বিষয়গুলি:
Symbolic theorem proving > Logic theorem proving > Mechanical theorem proving > Computational mathematics > Numerical analysis > Computer programming > Computer software

UL

হোল্ডিংসের বিবরণ UL
ডাক সংখ্যা: 519.6 CHA
প্রতিলিপি বর্তমান অবস্থা অনুপলব্ধ

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