Logic for computer science foundations of automatic theorem proving

গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক:	Gallier, Jean H.
বিন্যাস:	গ্রন্থ
ভাষা:	English
প্রকাশিত:	New York Harper & Row c1986.
বিষয়গুলি:	Automatic theorem proving. Logic, Symbolic and mathematical.