Electronic Documents Search
Documents found: 1
-
Temporal logic: from philosophy and proof theory to artificial intelligence and quantum computing
Creators Centrone Stefania.; Mainzer Klaus. Imprint Singapore: World Scientific Publishing, 2023 Collection Электронные книги зарубежных издательств; Общая коллекция Subjects Temporal automata.; Logic, Symbolic and mathematical.; World Scientific Publishing eBooks Collection Document type Other File type Other Language English Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) key://localhost/00013205