Rezultaty
1 - 5
Rezultaty od
5
Dla wyszukiwania '
International Conference on Automated Deduction
'
Przejdź do treści
VuFind
Konto czytelnika
Logout
Login
Język
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
हिंदी
Wszystkie pola
Autor
Tytuł
Tytuł czasopisma
Hasło przedmiotowe
ISBN / ISSN
Etykieta
Szukaj
Wyszukiwanie zaawansowane
Autor
International Conference on Automated Deduction
Rezultaty
1 - 5
Rezultaty od
5
Dla wyszukiwania '
International Conference on Automated Deduction
'
, Czas wyszukiwania: 0,04s
Redukuj rezultaty
Rezultaty na stronę
10
20
40
60
80
100
Sortuj
Ważność
Według najnowszych
Według najstarszych
Autor
Tytuł
Lista
do wersji Grid
1
Ładuje się......
Automated deduction CADE-21 : 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007 : proceedings /
od
International
Conference
on
Automated
Deduction
,
Pfenning, Frank.
Wydane 2007.
Dokumenty pełnotekstowe
Livro
Dodaj do listy ulubionych książek
Zapisane w:
2
Ładuje się......
Automated deduction – CADE-20 20th International Conference on Automated Deduction, Tallinn, Estonia, july 22-27, 2005 : proceedings /
od
International
Conference
on
Automated
Deduction
,
Nieuwenhuis, Robert.
Wydane 2005.
Dokumenty pełnotekstowe
Livro
Dodaj do listy ulubionych książek
Zapisane w:
3
Ładuje się......
Automated deduction – CADE-22 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009 : proceedings /
od
International
Conference
on
Automated
Deduction
,
Schmidt, Renate A.
Wydane 2009.
Dokumenty pełnotekstowe
Livro
Dodaj do listy ulubionych książek
Zapisane w:
4
Ładuje się......
Automated deduction -- CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, proceedings /
od
International
Conference
on
Automated
Deduction
,
Bonacina, Maria Paola.
Wydane 2013.
Dokumenty pełnotekstowe
Livro
Dodaj do listy ulubionych książek
Zapisane w:
5
Ładuje się......
Automated deduction -- CADE-23 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 -- August 5, 2011 : proceedings /
od
International
Conference
on
Automated
Deduction
,
Bjørner, Nikolaj.
,
Sofronie-Stokkermans, Viorica.
Wydane 2011.
Dokumenty pełnotekstowe
Livro
Dodaj do listy ulubionych książek
Zapisane w:
Narzędzie wyszukiwania:
Abonuj RSS
—
Wyślij rezultaty emailem
—
Zapisz wyszukiwanie
z powrotem
Redukuj rezultaty
Instytucja
UFRJ
5
[Usuń]
Kolekcja
Minerva
5
[Usuń]
Format
Livro
5
[Usuń]
Autor
International Conference on Automated Deduction
5
[Usuń]
Bjørner, Nikolaj
1
[Usuń]
Bonacina, Maria Paola
1
[Usuń]
Nieuwenhuis, Robert
1
[Usuń]
Pfenning, Frank
1
[Usuń]
Schmidt, Renate A.
1
[Usuń]
Więcej ...
Sofronie-Stokkermans, Viorica
1
[Usuń]
Zobacz wszystkie ...
Mniej ...
Język
Inglês
5
[Usuń]
Rok wydania
od:
do:
×
Ładuje się......