Přeskočit na obsah
Toggle navigation
English
Odhlásit
Jednotné přihlášení NTK
Vše
Název
Autor
Předmětové heslo
LCC signatura
Stará signatura
ISBN/ISSN
Tag
Systémové číslo
Hledat
Pokročilé vyhledávání
Autor
Seřadit podle
Počet výsledků
Abecedně
Voronkov, Andrei, 1959-
6
SpringerLink (online služba)
2
Clarke, E. M., 1945-
2
Virbickajte, I. B.
1
Baader, Franz, 1959-
1
Baaz, Matthias, 1960-
1
Bjørner, Nikolaj
1
Davis, Martin, 1928-2023
1
Dershowitz, Nachum, 1951-
1
Fehnker, Ansgar
1
Fermüller, Christian G., 1963-
1
Hermann, Miki, 1958-
1
McIver, Annabelle, 1964-
1
McMillan, Kenneth L.
1
Middeldorp, Aart, 1963-
1
Sutcliffe, Geoff, 1961-
1
Vardi, Moshe Y., 1954-
zavřít
×
Načítá se...