Поиск :
Личный кабинет :
Электронный каталог: Справочник авторов
К списку авторов
Ли, Р.
Сортировать по: заглавиюСвязанные описания:
Книга
Чень, Ч.
Математическая логика и автоматическое доказательство теорем
Symbolic logic and mechanical theorem proving
Наука, 1983 г.
ISBN отсутствует
/ : Промышленная, 17
Чень, Ч.
Математическая логика и автоматическое доказательство теорем
Symbolic logic and mechanical theorem proving
Наука, 1983 г.
ISBN отсутствует
/ : Промышленная, 17
На полку
Книга
Ли, Р.
Baidu. Как китайский поисковик с помощью искусственного интеллекта обыграл Google
Artifical Intelligence Revolution. How AI Will Change our Society, Economy, and Culture
ISBN 978-5-04-107288-9
/ : Кантемировская, 3
Ли, Р.
Baidu. Как китайский поисковик с помощью искусственного интеллекта обыграл Google
Artifical Intelligence Revolution. How AI Will Change our Society, Economy, and Culture
Серия: Top Business Awards
Бомбора, 2021 г.ISBN 978-5-04-107288-9
/ : Кантемировская, 3