Отображение
1 - 1
результаты of
1
для поиска '
'
Пропуск в контексте
UPFind
0
документы
(Заполнено)
Язык
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
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
Найти
Расширенный поиск
RESOURCE TYPE:
Electronic Resource
SUBJECT:
Artificial intelligence
И
Logic design
AUTHOR:
Metcalfe, George
Show filters (4)
RESOURCE TYPE:
Electronic Resource
SUBJECT:
Artificial intelligence
И
Logic design
AUTHOR:
Metcalfe, George
Результаты поиска
Отображение
1 - 1
результаты of
1
для поиска '
'
, время запроса: 0.05сек.
Отмена результатов
Сортировка
Релевантность
Newest to Oldest
Oldest to Newest
Автор
Заглавие
Выбрать страницу | с выбранными:
Email
Экспорт
Печать
Добавить в книжную сумку
Select result number 1
1
Automated Reasoning with Analytic Tableaux and Related Methods 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings
Опубликовано в:
Springer eBook.
(2011)
Шифр:
Загрузка...
Местонахождение:
Загрузка...
Available for University of the Philippines Diliman via SpringerLink.Click here to access
Electronic Resource
Добавить в книжную сумку
Удалить из книжной сумки
Выбрать страницу | с выбранными:
Email
Экспорт
Печать
Добавить в книжную сумку
Инструменты поиска:
RSS-поток
—
Отправить результаты поиска по Email
Назад
Сужение результатов поиска
CAMPUS
Diliman
1
DATABASE
Union Catalog (Buklod)
1
UNIT LIBRARY
Diliman Main Library: Info. Services & Instruction Section
1
YEAR OF PUBLICATION
от:
по:
SUBJECT
Artificial intelligence
Automatic theorem proving -- Congresses
1
Computer science
1
Logic design
Software engineering
1
AUTHOR
Brünnler, Kai
1
Metcalfe, George
SpringerLink (Online service
1
RESOURCE TYPE
Electronic Resource
LANGUAGE
English
1
TUKLAS
: UP Libraries' Resource Discovery Tool
Copyright © 2020-2021. The University Library, University of the Philippines Diliman
Загрузка...