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ě
6
SpringerLink (online služba)
6
Voronkov, Andrei, 1959-
2
Kobayashi, Naoki, 1968-
1
Altenkirch, Thorsten, 1962-
1
Armando, Alessandro
1
Baader, Franz, 1959-
1
Baaz, Matthias, 1960-
1
Berardi, Stefano
1
Billington, Jonathan
1
Bruza, Peter
1
Callaghan, Paul, 1970 -
1
Calude, Cristian, 1952-
1
Comon, Hubert, 1957-
1
Coppo, Mario, 1947-
1
Coquand, Thierry
1
Damiani, Ferruccio
1
Dershowitz, Nachum, 1951-
1
Dinneen, M. J. (Michael J.), 1967-
1
Filliâtre, Jean-Christophe
1
Gabbay, Dov M., 1945-
1
Geuvers, Herman, 1964-
1
Glesner, Manfred, 1943-
1
Gonczarowski, Yannai A., 1981-
1
Gramlich, Bernhard, -2014
1
Hartenstein, Reiner W.
1
Hermann, Miki, 1958-
1
Hodges, Wilfrid, 1941-
1
Homer, S. (Steven)
1
Jensen, Kurt
1
Jouannaud, Jean-Pierre, 1947-
1
Kirchner, Hélene
1
Klusch, Matthias
1
Konev, Boris
1
Koutny, Maciej
1
Lawless, William
1
Li, Wenjie
1
Maldonado, José Carlos
1
Marché, Claude
1
McBride, Conor
1
Mollá-Aliod, Diego
1
Nisan, Noam
1
Ohlbach, Hans Jürgen
1
Paulin-Mohring, Christine, 1962-
1
Petrenko, Alexandre
1
Queiroz, Ruy J. G. B. de
1
Rijsbergen, Keith van
1
Ringeissen, Christophe
1
Simão, Adenilso
1
Sofge, Donald
1
Sutcliffe, Geoff, 1961-
1
Treinen, Ralf
1
Vajnovszki, Vincent
1
Vardi, Moshe Y., 1954-
1
Werner, Benjamin
1
Wiedijk, Freek, 1961-
1
Wolter, Frank
zavřít
×
Načítá se...