Отображение
1 - 5
результаты of
5
для поиска '
International Conference on Automated Deduction
'
Пропуск в контексте
VuFind
Ваш логин
Выход
Логин
Язык
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português (Brasil)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Все поля
Автор
Заглавие
Заглавие журнала
Предмет
ISBN/ISSN
Метка
Найти
Расширенный поиск
Автор
International Conference on Automated Deduction
Отображение
1 - 5
результаты of
5
для поиска '
International Conference on Automated Deduction
'
, время запроса: 0.03сек.
Отмена результатов
Результаты на странице
10
20
40
60
80
100
Сортировка
Релевантность
Нижняя дата
Верхняя дата
Автор
Заглавие
Список
Сетка
1
Загрузка...
Automated deduction CADE-21 : 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007 : proceedings /
по
International
Conference
on
Automated
Deduction
,
Pfenning, Frank.
Опубликовано 2007.
Полный текст
Livro
Добавить в Избранное
Сохранить в:
2
Загрузка...
Automated deduction – CADE-20 20th International Conference on Automated Deduction, Tallinn, Estonia, july 22-27, 2005 : proceedings /
по
International
Conference
on
Automated
Deduction
,
Nieuwenhuis, Robert.
Опубликовано 2005.
Полный текст
Livro
Добавить в Избранное
Сохранить в:
3
Загрузка...
Automated deduction – CADE-22 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009 : proceedings /
по
International
Conference
on
Automated
Deduction
,
Schmidt, Renate A.
Опубликовано 2009.
Полный текст
Livro
Добавить в Избранное
Сохранить в:
4
Загрузка...
Automated deduction -- CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, proceedings /
по
International
Conference
on
Automated
Deduction
,
Bonacina, Maria Paola.
Опубликовано 2013.
Полный текст
Livro
Добавить в Избранное
Сохранить в:
5
Загрузка...
Automated deduction -- CADE-23 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 -- August 5, 2011 : proceedings /
по
International
Conference
on
Automated
Deduction
,
Bjørner, Nikolaj.
,
Sofronie-Stokkermans, Viorica.
Опубликовано 2011.
Полный текст
Livro
Добавить в Избранное
Сохранить в:
Инструменты поиска:
RSS-поток
—
Отправить результаты поиска по Email
—
Сохранить запрос
Назад
Сужение результатов поиска
Институт
UFRJ
5
[исключить]
Коллекция
Minerva
5
[исключить]
Формат
Livro
5
[исключить]
Автор
International Conference on Automated Deduction
5
[исключить]
Bjørner, Nikolaj
1
[исключить]
Bonacina, Maria Paola
1
[исключить]
Nieuwenhuis, Robert
1
[исключить]
Pfenning, Frank
1
[исключить]
Schmidt, Renate A.
1
[исключить]
больше ...
Sofronie-Stokkermans, Viorica
1
[исключить]
см. все ...
меньше ...
Язык
Inglês
5
[исключить]
Дата издания
от:
по:
×
Загрузка...