Bilaketaren emaitzak
Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
- предикатные логики
- Кибернетика 1
- Логика 1
- Математическая логика 1
- Пролог 1
- векторное сложение 1
- восстановление 1
- высказывания 1
- графы с метками 1
- доказуемость 1
- достижимость 1
- импликация 1
- индукция 1
- интерпретация 1
- конечные автоматы 1
- конференции 1
- корректные программы 1
- логическое программирование 1
- математическая логика 1
- мышление 1
- понятия 1
- последовательности 1
- представление знаний 1
- разработка 1
- свободные группы 1
- семантика 1
- синтез 1
- системы уравнений 1
- умозаключения 1
- фрагменты 1
-
1
-
2
-
3
Применение методов математической логики. Секция : Представление знаний и синтез программ тезисы докладов IV Всесоюзной конференции...
Argitaratua Таллин, Изд-во ин-та кибернетики, 1986Liburua