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

Мехматянам

Первый курс

square

Второй курс

square

Третий курс

square

Авторизация

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

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

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

Книга	Страницы для поиска
Jurafsky D., Martin J.H. — Speech and Language Processing	498, 509
Ramsay A. — Formal Methods in Artificial Intelligence	see "Predicate calculus"
Gabbay D.M., Hogger C.J., Robinson J.A. — Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming	see "First-order predicate calculus"
Allen J. — Natural language understanding	see "First-order predicate calculus"

О проекте