 |
о портале | карта портала | обратная связь |
 |
|
|
 |
|
|||
![[Каталог ресурсов]](/images/m_catalog_p.gif){kind=small} |
![[Программы. Методики. Право.]](/images/m_education_p.gif){kind=small} |
![[Электронный журнал]](/images/m_journal_p.gif){kind=small} |
![[Личный кабинет]](/images/m_cabinet_p.gif){kind=small} |
|
|
|
|||||||
|
|
||||||||
|
|||||||||
|
|||||||||
Автор:
Девятков В.В.
Тематический рубрикатор: Представление знаний в информационных системах, Интеллектуальные информационные системы, Вывод в логике предикатов первого порядка
Вывод в логике предикатов.pdf [208 Кбайт] | |
Copyright © 2003 «Инженерное образование» E-mail: techno@bmstu.ru | тел.: +7 (095) 263-68-63 |
Вход для редакторов
|