Отображение
1 - 1
результаты of
1
для поиска '
Giesl, Jürgen
'
Пропуск в контексте
Язык
English
Русский
123
Все поля
Заглавие
Автор
Предмет
Шифр
ISBN/ISSN
Найти
Расширенный поиск
Автор
Giesl, Jürgen
Отображение
1 - 1
результаты of
1
для поиска '
Giesl, Jürgen
'
, время запроса: 0.01сек.
Отмена результатов
Сортировка
Релевантность
Дата по убыванию
Дата по возрастанию
Шифр
Автор
Заглавие
1
Term Rewriting and Applications (vol. # 3467) 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings
по
Giesl
,
Jürgen
Опубликовано в:
Springer e-books
(2005)
Шифр:
Загрузка...
Местонахождение:
Загрузка...
Полный текст
Перейти в каталог НБ ТГУ
Электронная книга
Инструменты поиска:
RSS-поток
Связанные темы
Algebra
Artificial Intelligence (incl. Robotics)
Artificial intelligence
Computer Science
Computer science
Data processing
Logic design
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Languages, Compilers, Interpreters
Symbolic and Algebraic Manipulation
Загрузка...