লোডিং...

Logic for computer science : foundations of automatic theorem proving /

গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক:	Gallier, Jean H.
বিন্যাস:	Printed Book
ভাষা:	English
প্রকাশিত:	New York : Dover, 2015
সংস্করন:	2nd ed.
বিষয়গুলি:	Automatic theorem proving. Logic, Symbolic and mathematical. MATHEMATICS / Logic.

হোল্ডিংসের বিবরণ University of Calicut
ডাক সংখ্যা:	511.360285 GAL/L
প্রতিলিপি	বর্তমান অবস্থা অনুপলব্ধ

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