Поиск :
Личный кабинет :
Электронный каталог: Логика и компьютер. Вып.5. Пусть докажет компьютер
Логика и компьютер. Вып.5. Пусть докажет компьютер
Книга
Автор:
Логика и компьютер. Вып.5. Пусть докажет компьютер
Серия: Информатика: Неограниченные возможности и возможные ограничения
Издательство: Наука, 2004 г.
ISBN 5-02-032859-6
Автор:
Логика и компьютер. Вып.5. Пусть докажет компьютер
Серия: Информатика: Неограниченные возможности и возможные ограничения
Издательство: Наука, 2004 г.
ISBN 5-02-032859-6
Книга
УДК 621.398 Л694
Логика и компьютер. Вып.5. Пусть докажет компьютер / А. Е. Болотов, и др., Рос. акад. наук (РАН) . – М. : Наука, 2004 . – 207 с. – (Информатика: Неограниченные возможности и возможные ограничения) . - ISBN 5-02-032859-6 .
621.398 Л694
Тезаурус = ГАСНТИ 28.23.17
Тезаурус = Кибернетика : искусственный интеллект (ИИ) : логика
1038077 Кх
1038078 Кх
УДК 621.398 Л694
Логика и компьютер. Вып.5. Пусть докажет компьютер / А. Е. Болотов, и др., Рос. акад. наук (РАН) . – М. : Наука, 2004 . – 207 с. – (Информатика: Неограниченные возможности и возможные ограничения) . - ISBN 5-02-032859-6 .
621.398 Л694
Тезаурус = ГАСНТИ 28.23.17
Тезаурус = Кибернетика : искусственный интеллект (ИИ) : логика
1038077 Кх
1038078 Кх