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 Доступ по паролю из сети Интернет (чтение, печать, копирование)

Creators

...

Scientific adviser

...

Publication year

...

Digital publication year

...

Publisher

...

Collection

...

Subjects

...

Document type

...

Language

...

Access

...

Level of education

...

Speciality code (FGOS)

...

Speciality code (OKSO)

...

Speciality code (OKSVNK)

...

Speciality group (FGOS)

...

Speciality group (OKSO)

...

Speciality group (OKSVNK)

...

Journal/newspaper

...