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

Мехматянам

Первый курс

square

Второй курс

square

Третий курс

square

Авторизация

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

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

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

Книга	Страницы для поиска
Rips J.L. — The psychology of proof: deductive reasoning in human thinking	295—297. See also Nonmonotonic logic
Kyburg H.E., Teng Ch.M. — Uncertain Inference	143
Tanimoto S.L. — The elements of artificial intelligence. An introduction using LISP	229
Luger G.F., Stubblefield W.A. — Artificial Intelligence: Structures and Strategies for Complex Problem Solving	249, 274—275
Ramsay A. — Formal Methods in Artificial Intelligence	204
Yovits M. — Advances in Computers.Volume 26.	36—37

О проекте