Поиск по электронным документам
Найдено документов: 1
-
Temporal logic: from philosophy and proof theory to artificial intelligence and quantum computing
Авторы Centrone Stefania.; Mainzer Klaus. Выходные сведения Singapore: World Scientific Publishing, 2023 Коллекция Электронные книги зарубежных издательств; Общая коллекция Тематика Temporal automata.; Logic, Symbolic and mathematical.; World Scientific Publishing eBooks Collection Тип документа Другой Тип файла Другой Язык Английский Права доступа Доступ по паролю из сети Интернет (чтение, печать, копирование) key://localhost/00013205