Automated theorem proving: theory and practice

গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক: Newborn, Monty
বিন্যাস: Printed Book
ভাষা:English
প্রকাশিত: New York Springer 2001
বিষয়গুলি:
Automated theorem proving > AI (Artificial intelligence) > Electronic brains > Intelligence, Artificial > Machine intelligence > Artificial intelligence > Expert systems > Bionics > Electronic data procressing

UL

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

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