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ě
7
Klíč, Alois
7
Vysoká škola chemicko-technologická v Praze
6
Horský, Zdeněk, 1926-
6
Voronkov, Andrei, 1959-
5
Tichý, Zdeněk
4
Bek, Roman, 1924-
4
Hapalová, Vlasta
4
Jirásek, František, 1938-
4
Kolda, Stanislav, 1930-1998
4
Kriegelstein, Eduard
4
Nagel, Ernest, 1901-1985
4
Nerode, Anil, 1932-
4
Newman, James Roy, 1907-1966
4
Seibert, Jaroslav, 1947-
3
Charvát, Jura, 1947-2009
3
Hofstadter, Douglas R., 1945-
3
Hradilek, Ludvík, 1921-2002
3
Ivan, Ján, 1924-1993
3
Klůfa, Jindřich, 1949-
3
Krajíček, Jan, 1960-
3
Pavlíková, Pavla, 1976-
3
Polák, Josef, 1936-
3
Skála, Jaroslav
3
Smullyan, Raymond M., 1919-2017
3
Swart, H. C. M. de (Henricus Cornelius Maria), 1944-
3
Trenčanský, Ivan, 1943-
2
Alferes, José Júlio, 1966-
2
Alt, Helmut, 1950-
2
Baaz, Matthias, 1960-
2
Baral, Chitta, 1966-
2
Baumgartner, Peter
2
Berardi, Stefano
2
Bimbó, Katalin, 1963-
2
Blažek, Jaroslav, 1925-
2
Budinský, Bruno, 1934-1988
2
Burda, Pavel, 1947-
2
Coppo, Mario, 1947-
2
Cori, René
2
Coufal, Jan
2
Demetrovics, János, 1946-
2
Demlová, Marie, 1949-
2
Diekert, Volker, 1955-
2
Durand, Bruno
2
European Cooperation in the Field of Scientific and Technical Research (organizace). COST Action 274 TARSKI (projekt)
2
Fisher, Michael, 1962-
2
Gabbay, Dov M., 1945-
2
Ganter, Bernhard, 1949-
2
Goldblatt, Robert, 1949-
2
Gopalakrishnan, Ganesh
2
Gottlob, Georg, 1956-
2
Grundy, Jim
2
Habib, M. (Michel), 1951-
2
Hamkins, Joel David
2
Harrison, John, 1966-
2
Havránek, Tomáš, 1947-1991
2
Hodges, Wilfrid, 1941-
2
Hála, Martin, 1958-
2
Idziak, Pawel, 1958-
2
Jouannaud, Jean-Pierre, 1947-
2
Katona, Gyula, 1941-
2
Kříž, Jaroslav, 1971-
2
Křížová, Helena
2
Lascar, Daniel, 1942-
2
Leivant, Daniel Maurice Raphaël
2
Liben-Nowell, David
2
Lukasová, Alena, 1936-
2
Medek, Václav, 1923-1992
2
Melham, T. F. (Tom F.), 1960-
2
Mišík, Ladislav, 1921-
2
Paulin-Mohring, Christine, 1962-
2
Pearce, David A., 1952-
2
Pereira, Luís Moniz
2
Perzanowski, Jerzy
2
Sakakibara, Yasubumi
2
Salomaa, Arto, 1934-
2
Siekmann, Jörg, 1941-
2
Stehlík, Eduard, 1930-2010
2
Takeuti, Gaisi, 1926-2017
2
Thiele, Rüdiger, 1945-
2
Thomas, Wolfgang, 1947-
2
Turzík, Daniel, 1952-
2
Urzyczyn, Pawel
2
České vysoké učení technické v Praze. Elektrotechnická fakulta
2
Šalát, Tibor, 1926-2005
2
Šibrava, Zdeněk, 1951-
1
Abramsky, Samson, 1953-
1
Adamowicz, Zofia
1
Adian, Sergei
1
Adriaans, P.W., 1955-
1
Aguzzoli, Stefano, 1967-
1
Altenkirch, Thorsten
1
Altenkirch, Thorsten, 1962-
1
Alves-Foss, James, 1964-
1
Amann, Herbert, 1938-
1
Armando, Alessandro
1
Artemov, S. N.
1
Asarin, Jevgenij Aleksandrovič, 1962-
1
Association for Symbolic Logic
1
Auletta, Gennaro, 1957-
1
Baader, Franz, 1959-
1
Bacchus, Fahiem
1
Barendregt, Hendrik Pieter, 1947-
1
Barendregt, Henk (Hendrik Pieter), 1947-
1
Bartošová, Jitka
1
Basin, David, 1961-
1
Beckert, Bernhard
1
Beckmann, Arnold
1
Benjamin, Arthur, 1961-
1
Bertot, Yves
1
Bezem, Marc, 1956-
1
Biere, Armin, 1967-
1
Birtwistle, Graham
1
Bizám, György, 1922-2007
1
Blitzer, Robert
1
Boulton, Richard J.
1
Bouscaren, Elisabeth
1
Bouyer, Patricia, 1976-
1
Bouzeghoub, M. (Mokrane)
1
Brachman, Ronald J., 1949-
1
Bradfield, Julian
1
Brandt, Jens, 1978-
1
Brewka, Gerhard, 1955-
1
Brněnské centrum evropských studií
1
Bundy, Alan
1
Bunker, Annette
1
Burešová, Jarmila
1
Böhme, Gert
1
Börger, E. (Egon), 1946-
1
Büning, Hans Kleine
1
Cadoli, Marco
1
Caferra, Ricardo
1
Callaghan, Paul, 1970 -
1
Calude, Cristian, 1952-
1
Camilleri, Juanito
1
Carrasco, Rafael C.
1
Carreno, Victor A.
1
Cate, Balder ten, 1979-
1
Cejpek, Jiří, 1928-2005
1
Cerro, Luís Farinas del
1
Chow, Bennett
1
Chu-Carroll, Mark C.
1
Cialdea Mayer, Marta, 1956-
1
Clote, Peter, 1951-
1
Comon, Hubert, 1957-
1
Cooper, S. B. (S. Barry), 1943-2015
1
Coquand, Thierry
1
Cupillari, Antonella, 1955-
1
Daepp, Ulrich, 1948-
1
Dalen, D. van (Dirk), 1932-
1
Damiani, Ferruccio
1
Davis, Martin, 1928-2023
1
Deaconu, Valentin
1
Dekkers, Wil
1
Dershowitz, Nachum, 1951-
1
Dey, Anind K., 1970-
1
Dezani-Ciancaglini, Mariangiola
1
Dinneen, M. J. (Michael J.), 1967-
1
Dix, Jürgen, 1961-
1
Dowek, Gilles, 1966-
1
Downey, R. G. (Rod G.), 1957-
1
Dowsing, R. D.
1
Druckmüller, Miloslav, 1954-
1
Duparc, Jacques, 1962-
1
Dybjer, Peter
1
Dyckhoff, Roy, 1948-
1
Egly, Uwe, 1960-
1
Eklund, Peter W., 1962-
1
Embley, David W.
1
Epstein, Richard L., 1947-
1
Escher, Joachim, 1962-
1
European Association for Computer Science Logic. Conference
1
European Association for Computer Science Logic. conference
1
Felty, Amy
1
Fermüller, Christian G., 1963-
1
Fernau, Henning, 1965-
1
Ferrante, Jeanne
1
Ferreira, Afonso, 1960-
1
Feťková, Jana
1
Filliâtre, Jean-Christophe
1
Filozofický ústav (Akademie věd ČR)
1
Fitting, Melvin, 1942-
1
Flesca, Sergio, 1971-
1
Flum, Jörg
1
Forman, Sylvia
1
Fribourg, Laurent
1
Fuchs, Petr
1
Fuchs, Shay
1
Furbach, Ulrich, 1948-
1
Futatsugi, Kokichi
1
Galmiche, Didier, 1958-
1
Galton, Antony, 1952-
1
Gasteren, Antonetta Johanna Maria, van, 1952-2002
1
George, Chris W.
1
Gerstein, Larry J.
1
Geuvers, Herman, 1964-
1
Gilbert, Henri
1
Giménez, Eduardo
1
Girard, Jean-Yves, 1947-
1
Godin, Robert
1
Goldstein, Rebecca, 1950-
1
Gomes, Carla
1
Gonczarowski, Yannai A., 1981-
1
Gorkin, Pamela
1
Gottwald, Siegfried, 1943-2015
1
Gramlich, Bernhard, -2014
1
Grandjean, Etienne
1
Groote, J. F. (Jan Frisco), 1965-
1
Groote, Philippe de
1
Gunter, Elsa L.
1
Gurevich, Yuri
1
Görz, Günther
1
Hagiya, Masami, 1957-
1
Hajnicz, Elżbieta
1
Hammack, Richard H., 1960-
1
Handschuh, Helena
1
Havelek, Radim
1
Heath, Chip, 1963-
1
Heering, Jan
1
Hejna, Bohdan, 1954-
1
Henzinger, T. A., 1962-
1
Herczeg, János
1
Hermann, Miki, 1958-
1
Hindley, J. Roger, 1939-
1
Hinman, Peter G.
1
Hník, Václav
1
Hodges, Andrew, 1949-
1
Hofmann, Martin, 1965-
1
Hojdarová, Marie, 1954-
1
Homer, S. (Steven)
1
Honavar, Vasant
1
Hora, Jan
1
Hradecká, Radoslava
1
Hralová, Petra
1
Huet, Gérard
1
Hurd, Joe, 1975-
1
Hájek, Petr, 1940-2016
1
Hähnle, Reiner
1
Hölldobler, Steffen
1
International Fedration for Computational Logic
1
Jackson, Paul B., 1962-
1
Janzing, Dominik, 1966-
1
Jedlička, Přemysl
1
Jeršov, Jurij Leonidovič, 1940-
1
Jirásko, Josef, 1951-2021
1
Jones, Neil D.
1
Jonášová, Eva
1
Joyce, Jeffrey J.
1
Kandel, Abraham, 1941-
1
Katrnoška, František, 1929-
1
Kauers, Manuel
1
Kaňka, Miloš
1
Kedad, Zoubida
1
Keisler, H. Jerome, 1936-
1
Kemeny, John G., 1926-1992
1
Kern-Isberner, Gabriele, 1956-
1
Kirchner, Hélene
1
Kleene, Stephen Cole, 1909-1994
1
Kleinberg, Samantha, 1983-
1
Kobayashi, Naoki, 1968-
1
Kolman, Vojtěch, 1975-
1
Konev, Boris
1
Kopka, Jan, 1941-
1
Kopáček, Jiří, 1932-2017
1
Kopřivová, Hana
1
Kočandrlová, Milada, 1948-
1
Krantz, Steven G. (Steven George), 1951-
1
Kreiser, Lothar, 1934-
1
Kristiansen, Lars
1
Krupková, Vlasta
1
Král, Lukáš
1
Kubica, Hynek, 1963-
1
Kulmann, Friedhelm, 1959-
1
Kuznecov, Sergej Olegovič
1
La Higuera, Colin de
1
Laichterová, Jarmila
1
Lang, Jérôme
1
Langmaack, Hans, 1934-
1
Leary, Christopher C., 1957-
1
Leite, João, 1970-
1
Leitsch, Alexander
1
Lenski, Wolfgang, 1952-
1
Lenz, Mario
1
Levesque, Hector J., 1951-
1
Lin, Fangzhen
1
Liu, Zhiming, 1961-
1
Liška, Marek
1
Lloyd, John W.
1
Lolli, Gabriele, 1942-
1
MacNish, Craig
1
Maddox, Randall B.
1
Makkai, Michael, 1939-
1
Makowsky, Johann A., 1948-
1
Marché, Claude
1
Marcinkowski, Jerzy
1
Marcolli, Matilde, 1969-
1
Mareš, Jan, 1944-
1
Marques-Silva, João
1
Marshall, I.
1
Matijasevič, Ju. V. (Jurij Vladimirovič)
1
McBride, Conor
1
McClellan-Broussard, Bonnie
1
McCune, William W.
1
Meinke, Karl
1
Melkebeek, Dieter van
1
Mendelson, Elliott, 1931-
1
Meseguer, José
1
Mezník, Ivan, 1942-
1
Miclet, Laurent
1
Middeldorp, Aart, 1963-
1
Miglioli, P.
1
Mileti, Joseph, 1978-
1
Missaoui, Rokia, 1949-
1
Moller, Faron
1
Moore, Margaret H.
1
Močkoř, Jiří, 1950-
1
Mundici, Daniele
1
Murray, Neil V.
1
Muňoz, César A.
1
Mycielski, Jan
1
Métais, Elisabeth, 1959-
1
Naraschewski, Wolfgang
1
Newey, Malcolm
1
Nicholson, Neil R.
1
Niederle, Rostislav, 1962-
1
Nielsen, Mogens
1
Nisan, Noam
1
Nordström, Bengt
1
Novotná, Jarmila, 1946-
1
Novotná, Vilma, 1943-
1
Novák, Vilém, 1951-
1
Odelstad, Jan, 1947-
1
Ohlbach, Hans Jürgen
1
Ojeda Aciego, Manuel, 1967-
1
Oliveira, Arlindo, 1963-
1
Oliveira, Suely
1
Olivetti, Nicola, 1963-
1
Olivé, Antoni, 1946-
1
Oncina, Jose
1
Ong, Luke
1
Orlowska, Ewa
1
Ostravská univerzita. Přírodovědecká fakulta
1
Owens, Richard
1
Pacholski, Leszek
1
Padmanabhan, R. (Ranganathan), 1938-
1
Paliouras, Georgios, 1970-
1
Paljutin, Jevgenij Andrejevič
1
Pedreschi, Dino
1
Pekarovičová, Jana, 1951-
1
Perfil‘jeva, Irina, 1953-
1
Peters, Jonas, 1984-
1
Petrík, Milan
1
Pfaff, Donald C. (Donald Chesley)
1
Pirnot, Thomas L.
1
Pirri, Fiora
1
Pisklák, Bohuslav
1
Plešingr, Jan
1
Plotkin, Gordon
1
Pnueli, A. (Amir), 1941-
1
Pohlers, Wolfram
1
Polster, Burkard, 1965-
1
Polák, Václav, 1932-1994
1
Pondělíček, Bedřich, 1932-2001
1
Posegga, Joachim
1
ProQuest Ebook Central (online služba)
1
Prágerová, Alena
1
Queiroz, Ruy J. G. B. de
1
Quinn, Jennifer J.
1
Rackoff, Charles W.
1
Ram, Sudha, 1959-
1
Rash, Agnes M.
1
Raskin, Jean-François, 1972-
1
Rautenberg, Wolfgang
1
Rayo, Agustín, 1973-
1
Reba, Marilyn A.
1
Reus, Bernhard
1
Reyes, Gonzalo E.
1
Riečan, Beloslav, 1936-2018
1
Ringeissen, Christophe
1
Rishe, Naphtali, 1957-
1
Robinson, Abraham, 1918-1974
1
Rochford, Damien
1
Rodríguez-Artalejo, Mario
1
Roever, W.-P. de, 1943-
1
Ronchi Della Rocca, Simona, 1946-
1
Rozenberg, Grzegorz, 1942-
1
Rubeš, Zdeněk
1
Ruzsa, Imre, 1921-2008
1
Rödder, Wilhelm, 1942-
1
Sakallah, Karem A.
1
Salomaa, Arto
1
Salzer, Gernot
1
Sato, Masahiko
1
Schaub, Torsten
1
Schlechta, Karl
1
Schlipf, John
1
Schmid, Jürg, 1944-
1
Schmidt, Oskar, 1930-
1
Schmidt, Stefan E.
1
Schmidt-Schauss, M.
1
Schneider, Klaus, 1967-
1
Schröder, Bernd S. W. (Bernd Siegfried Walter), 1966-
1
Schubert, E. Thomas
1
Schwichtenberg, Helmut
1
Schölkopf, Bernhard, 1968-
1
Seger, Carl-Johan H.
1
Sevilla, Alicia Norma, 1948-
1
Seyr, Katrin
1
Shankar, N.
1
Shier, Douglas R.
1
Shinoda, J.
1
Slaman, T. A.
1
Slind, Konrad
1
Slutzki, Giora
1
Smith, Jan
1
Snell, J. Laurie (James Laurie), 1925-2011
1
Sochor, Antonín, 1942-2008
1
Somers, Kay, 1947-
1
Sommaruga, Giovanni, 1956-
1
Spencer, Joel H., 1946-
1
Starr, Karla
1
Statman, Richard, 1946-
1
Stelzner, Werner
1
Stewart, David, 1961-
1
Stewart, Ian, 1945-
1
Stillwell, John, 1942-
1
Strahm, Thomas Adrian
1
Stumme, Gerd, 1967-
1
Sup, Jan, 1935-2010
1
Sutcliffe, Geoff, 1961-
1
Svatek, Jan
1
Sørensen, Morten Heine B. (Morten Heine Bjørnlund), 1968-
1
Tahar, Sofiene
1
Taitslin, Mikhail
1
Takahara, Yasuhiko
1
Takahashi, Shingo
1
Tall, David Orme, 1941-
1
Tamir, Dan E.
1
Tarlecki, Andrzej, 1956-
1
Tepfenhart, William M.
1
Thiagarajan, P. S., 1948-
1
Thierauf, Thomas, 1961-
1
Thompson, Gerald Luther, 1923-2009
1
Tijms, Steven
1
Tiuryn, Jerzy, 1950-
1
Trch, Milan, 1950-
1
Treinen, Ralf
1
Trlifajová, Kateřina, 1959-
1
Tryhuk, Václav, 1949-
1
Tugué, T.
1
Ulrychová, Eva
1
Univerzita Karlova
1
Univerzita Karlova (Praha). Fakulta pedagogická. Katedra matematiky a didaktiky matematiky
1
Univerzita Karlova. Matematicko-fyzikální fakulta. Informatická sekce
1
Univerzita Pardubice. Ekonomicko-správní fakulta. Katedra matematiky
1
Univerzita Pardubice. Ekonomicko-správní fakulta. Ústav matematiky
1
Vachová, Eva
1
Vajnovszki, Vincent
1
Valenta, Tomáš
1
Vardi, Moshe Y., 1954-
1
Vašata, Daniel
1
Vesecká, Jaroslava, 1962-
1
Vesley, R. E.
1
Vild, Jaroslav, 1941-
1
Vošický, Zdeněk, 1949-
1
Vysoká škola báňská - Technická univerzita Ostrava. Institut matematiky a deskriptivní geometrie
1
Vysoká škola ekonomická v Praze. Fakulta informatiky a statistiky
1
Vysoká škola ekonomická v Praze. Fakulta managementu
1
Vysoké učení technické (VUT), Fakulta strojní : Brno
1
Vysoké učení technické v Brně
1
Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií
1
Väänänen, Jouko
1
Včelař, František, 1962-
1
Walsh, Toby
1
Wang, Guoyin
1
Wang, Jiacun, 1963-
1
Wang, Ju
1
Wansing, Heinrich
1
Wapner, Leonard M., 1948-
1
Weaver, George
1
Wechsung, Gerd
1
Werner, Benjamin
1
Wiedijk, Freek, 1961-
1
Wille, Rudolf
1
Windley, Phillip J.
1
Wolff, Burkhart, 1962-
1
Wolter, Frank
1
Woodcock, Jim, 1956-
1
Woodhams, F. V. D.
1
Wright, Joakim von
1
Yao, JingTao
1
Zaanen, Menno van, 1972-
1
Zaniolo, Carlo
1
Zbierski, Pawel
1
Zeevat, Henk, 1952-
1
Zelinka, Ivan, 1965-
1
Zhang, Zhenzhong, 1927-
1
Zhang, Zili
1
Zlatník, Čeněk, 1937-2019
1
Èsik, Zoltán, 1951-
1
Čermák, Miloš, 1936-
více ...
více ...
zavřít
×
Načítá se...