Отображение
1 - 2
результаты of
2
для поиска '
Klein, Gerwin
'
Пропуск в контексте
Язык
English
Русский
123
Все поля
Заглавие
Автор
Предмет
Шифр
ISBN/ISSN
Найти
Расширенный поиск
Автор
Klein, Gerwin
Отображение
1 - 2
результаты of
2
для поиска '
Klein, Gerwin
'
, время запроса: 0.02сек.
Отмена результатов
Сортировка
Релевантность
Дата по убыванию
Дата по возрастанию
Шифр
Автор
Заглавие
1
Concrete Semantics With Isabelle/HOL /
по
Nipkow, Tobias
,
Klein
,
Gerwin
Опубликовано в:
Springer eBooks
(2014)
Шифр:
Загрузка...
Местонахождение:
Загрузка...
Полный текст
Перейти в каталог НБ ТГУ
Электронная книга
2
Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings /
Опубликовано в:
Springer eBooks
(2014)
Другие авторы:
“
...
Klein
,
Gerwin
...
”
Шифр:
Загрузка...
Местонахождение:
Загрузка...
Полный текст
Перейти в каталог НБ ТГУ
Электронная книга
Инструменты поиска:
RSS-поток
Связанные темы
Computer Science
Logic design
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Algorithm Analysis and Problem Complexity
Artificial Intelligence (incl. Robotics)
Artificial intelligence
Computer software
Data protection
Programming Languages, Compilers, Interpreters
Software Engineering
Software engineering
Systems and Data Security
Загрузка...