Поиск по электронным документам

Найдено документов: 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
    Тип документа Другой
    Тип файла Другой
    Язык Английский
    Права доступа Доступ по паролю из сети Интернет (чтение, печать, копирование)

Авторы

...

Научный руководитель

...

Год публикации

...

Год электронной публикации

...

Издательство

...

Коллекция

...

Тематика

...

Тип документа

...

Язык

...

Доступ

...

Уровень высшего образования

...

Код специальности ФГОС

...

Код специальности ОКСО

...

Код специальности ОКСВНК

...

Группа специальностей ФГОС

...

Группа специальностей ОКСО

...

Группа специальностей ОКСВНК

...

Журнал/газета

...