Skip to content
Toggle navigation
Čeština
Log Out
Institutional Login
All Fields
Title
Author
Subject heading
LCC call number
Old call number
ISBN/ISSN
Tag
System number
Find
Advanced Search
Author
Sort
Result Count
Alphabetical
1
Baader, Franz, 1959-
1
Baaz, Matthias, 1960-
1
Bjørner, Nikolaj
2
Clarke, E. M., 1945-
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-
6
SpringerLink (online služba)
1
Sutcliffe, Geoff, 1961-
1
Vardi, Moshe Y., 1954-
2
Virbickajte, I. B.
Voronkov, Andrei, 1959-
close
×
Loading...