Поиск книг, содержащих Automated theorem proving :: Электронная библиотека попечительского совета мехмата МГУ

Мехматянам

Первый курс

square

Второй курс

square

Третий курс

square

Авторизация

Поиск по указателям

Результат поиска

Поиск книг, содержащих: Automated theorem proving

Книга	Страницы для поиска
Barwise J., Etchemendy J., Allwein G. — Language, Proof and Logic	312
Gabbay D.M., Hogger C.J., Robinson J.A. — Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming	163—164
Chudnovsky V., Jenks R.D. — Computers in mathematics	83, 85, 88, 98—102
Rautenberg W. — A Concise Introduction to Mathematical Logic (Universitext)	94
John Aycock — Computer Viruses and Malware	46

О проекте