লোডিং...

Higher order logic theorem proving and its applications

গ্রন্থ-পঞ্জীর বিবরন
অন্যান্য লেখক:	Claesen, Luc J M (Editor)
বিন্যাস:	Printed Book
প্রকাশিত:	North-Holland Publishing Co., Amsterdam 1993
বিষয়গুলি:	Computer programming

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