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ě
26
SpringerLink (online služba)
7
Klíč, Alois
7
Vysoká škola chemicko-technologická v Praze
6
Horský, Zdeněk, 1926-
6
Voronkov, Andrei, 1959-
5
Riečanová, Zdena, 1935-
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-
4
Univerzita Karlova. Matematicko-fyzikální fakulta
4
České vysoké učení technické v Praze. Elektrotechnická fakulta
3
Charvát, Jura, 1947-2009
3
Hodges, Wilfrid, 1941-
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
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
Ackermann, Wilhelm Friedrich, 1896-1962
2
Alferes, José Júlio, 1966-
2
Association for Symbolic Logic
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
European Cooperation in the Field of Scientific and Technical Research (organizace). COST Action 274 TARSKI (projekt)
2
Fisher, Michael, 1962-
2
Flašková, Jana, 1978-
2
Gabbay, Dov M., 1945-
2
George, Chris W.
2
Glesner, Manfred, 1943-
2
Goldblatt, Robert, 1949-
2
Gopalakrishnan, Ganesh
2
Gottlob, Georg, 1956-
2
Groote, Philippe de
2
Grundy, Jim
2
Hamkins, Joel David
2
Hanika, Jiří, 1974-
2
Harrison, John, 1966-
2
Havránek, Tomáš, 1947-1991
2
Hilbert, David, 1862-1943
2
Hájek, Petr, 1940-2016
2
Hála, Martin, 1958-
2
Idziak, Pawel, 1958-
2
Katona, Gyula, 1941-
2
Keisler, H. Jerome, 1936-
2
Kleiter, Gernot D.
2
Kobayashi, Naoki, 1968-
2
Královské technické české stavovské učiliště (Praha, Česko)
2
Kukal, Jaromír, 1954-
2
Kříž, Jaroslav, 1971-
2
Křížová, Helena
2
Lascar, Daniel, 1942-
2
Leivant, Daniel Maurice Raphaël
2
Liu, Zhiming, 1961-
2
Lukasová, Alena, 1936-
2
Medek, Václav, 1923-1992
2
Melham, T. F. (Tom F.), 1960-
2
Mišík, Ladislav, 1921-
2
Paseka, Jan, 1962-
2
Paulin-Mohring, Christine, 1962-
2
Pearce, David A., 1952-
2
Pereira, Luís Moniz
2
Perzanowski, Jerzy
2
Pudlák, Petr
2
Queiroz, Ruy J. G. B. de
2
Retoré, Christian, 1964-
2
Sakakibara, Yasubumi
2
Salomaa, Arto, 1934-
2
Siekmann, Jörg, 1941-
2
Simon, Petr, 1944-2018
2
Stehlík, Eduard, 1930-2010
2
Takeuti, Gaisi, 1926-2017
2
Thiele, Rüdiger, 1945-
2
Turzík, Daniel, 1952-
2
Univerzita Karlova. Katedra teoretické informatiky a matematické logiky
2
Urzyczyn, Pawel
2
Woodcock, Jim, 1956-
2
Šalát, Tibor, 1926-2005
2
Šibrava, Zdeněk, 1951-
2
Štěpánek, Petr, 1943-2012
1
Abchir, Mohammed-Amine
1
Abraham, Ajith, 1968-
1
Abramsky, Samson, 1953-
1
Adamowicz, Zofia
1
Adamčík, Martin
1
Adian, Sergei
1
Adriaans, P.W., 1955-
1
Agahi, Hamzeh
1
Aguzzoli, Stefano, 1967-
1
Alt, Helmut, 1950-
1
Altenkirch, Thorsten
1
Altenkirch, Thorsten, 1962-
1
Alves-Foss, James, 1964-
1
Amann, Herbert, 1938-
1
Armando, Alessandro
1
Artemov, S. N.
1
Atanassov, Krassimir T.
1
Auletta, Gennaro, 1957-
1
Baader, Franz, 1959-
1
Bacchus, Fahiem
1
Baczyński, Michał Krzysztof, 1971-
1
Balková, Ľubomíra
1
Barendregt, Hendrik Pieter, 1947-
1
Barendregt, Henk (Hendrik Pieter), 1947-
1
Bartošová, Jitka
1
Basin, David, 1961-
1
Beckert, Bernhard
1
Belohlavek, Radim
1
Benjamin, Arthur, 1961-
1
Bertolotti, Tommaso
1
Bertot, Yves
1
Bezem, Marc, 1956-
1
Bienias, Marek
1
Biere, Armin, 1967-
1
Billington, Jonathan
1
Birckner, Matthäus, asi 1630-1709
1
Birkhoff, G. D.
1
Birtwistle, Graham
1
Bizám, György, 1922-2007
1
Blache, Philippe
1
Blitzer, Robert
1
Bokr, Josef, 1940-2022
1
Boulton, Richard J.
1
Bouscaren, Elisabeth
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
Bruza, Peter
1
Bundy, Alan
1
Bunker, Annette
1
Burešová, Jarmila
1
Buss, Samuel R., 1957-
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 S
1
Calude, Cristian, 1952-
1
Calude, Elena
1
Camilleri, Juanito
1
Cardenas, Carolus de
1
Carrasco, Rafael C.
1
Carreno, Victor A.
1
Cate, Balder D. ten
1
Cate, Balder ten, 1979-
1
Cejpek, Jiří, 1928-2005
1
Cerro, Luís Farinas del
1
Chaitin, Gregory J., 1947-
1
Cheung, Peter Y. K., 1953-
1
Chow, Bennett
1
Chu-Carroll, Mark C.
1
Cialdea Mayer, Marta, 1956-
1
Clote, Peter, 1951-
1
Comon, Hubert, 1957-
1
Coquand, Thierry
1
Costa, Newton Carneiro Afonso, 1929-
1
Crabbe, Stephen
1
Craig, William, 1918-2016
1
Cupillari, Antonella, 1955-
1
Curry, Haskell Brooks, 1900-1982
1
Cutland, Nigel, 1944-
1
Daepp, Ulrich, 1948-
1
Dalen, D. van (Dirk), 1932-
1
Damiani, Ferruccio
1
Damrath, Rudolf, 1942-
1
Darwish, Ashrav
1
Davis, Martin, 1928-2023
1
De Bonis, Novello, činný 1659-1701
1
Deaconu, Valentin
1
Dekkers, Wil
1
Dershowitz, Nachum, 1951-
1
Dey, Anind
1
Dey, Anind K., 1970-
1
Dezani-Ciancaglini, Mariangiola
1
Di Nasso, Mauro, 1963-
1
Dias, Maria Carmelita
1
Dias, Sérgio M.
1
Dimitrijević, Sladjama
1
Dinneen, M. J. (Michael J.), 1967-
1
Dinneen, Michael J
1
Dix, Jürgen, 1961-
1
Dlask, Petr, 1970-
1
Dodos, Pandelis
1
Dowek, Gilles, 1966-
1
Downey, R. G. (Rod G.), 1957-
1
Dowsing, R. D.
1
Dries, Lou van den
1
Druckmüller, Miloslav, 1954-
1
Duparc, Jacques, 1962-
1
Dybjer, Peter
1
Dyckhoff, Roy, 1948-
1
Dória, Francisco Antônio, 1945-
1
Edeghagba, Elijah Eghosa
1
Egly, Uwe, 1960-
1
Ehrenberger, Vlastimil, 1935-
1
Ehrenfels, Christian von
1
Ehrich, Paul, -1723
1
Epstein, Richard L., 1947-
1
Ertuğrul, Ümit
1
Escher, Joachim, 1962-
1
European Association for Computer Science Logic. Conference
1
European Association for Computer Science Logic. conference
1
Fajardo, Sergio, 1956-
1
Fajkoš, Alfréd
1
Fei, Shumin
1
Felty, Amy
1
Fermüller, Christian G., 1963-
1
Fernau, Henning, 1965-
1
Ferrante, Jeanne
1
Ferreira, Afonso, 1960-
1
Ferré, Sébastien
1
Feys, Robert, 1889-1961
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
Fodor, János, 1956-
1
Forman, Sylvia
1
Fribourg, Laurent
1
Fuchs, Petr
1
Fuchs, Shay
1
Fulcher, John
1
Furbach, Ulrich, 1948-
1
Fábera, Vít, 1975-
1
Galmiche, Didier, 1958-
1
Galton, Antony, 1952-
1
Ganter, Bernhard, 1949-
1
Gasteren, Antonetta Johanna Maria, van, 1952-2002
1
Gerstein, Larry J.
1
Geuvers, Herman, 1964-
1
Gilbert, Henri
1
Gillibert, Pierre
1
Giménez, Eduardo
1
Girard, Jean-Yves, 1947-
1
Godefroy, Gilles
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
Gunter, Elsa L.
1
Guo, Feng
1
Gurevich, Yuri
1
Görz, Günther
1
Głąb, Szymon
1
Hagiya, Masami, 1957-
1
Hajnicz, Elżbieta
1
Hammack, Richard H., 1960-
1
Hammer, Eric M.
1
Hampl, Petr, 1979-
1
Handschuh, Helena
1
Hartenstein, Reiner W.
1
Havelek, Radim
1
Heath, Chip, 1963-
1
Hebenstreit, Johann Paul, 1664-1718
1
Heering, Jan
1
Hejna, Bohdan, 1954-
1
Henzinger, T. A., 1962-
1
Herczeg, János
1
Hermann, Miki, 1958-
1
Herrlich, Horst
1
Herzberg, Frederik
1
Hindley, J. Roger, 1939-
1
Hinman, Peter G.
1
Hník, Václav
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
Huang, Chenchen
1
Huang, Jun
1
Huet, Gérard
1
Hurd, Joe, 1975-
1
Hurst, Stanley Leonard
1
Hähnle, Reiner
1
Hölldobler, Steffen
1
International Fedration for Computational Logic
1
Inuiguchi, Masahiro
1
Jackson, Paul B., 1962-
1
Jain, L. C., 1946-
1
Janda, Jiří
1
Janzing, Dominik, 1966-
1
Jedlička, Přemysl
1
Jensen, Kurt
1
Jenčová, Anna
1
Jeršov, Jurij Leonidovič, 1940-
1
Jirásko, Josef, 1951-2021
1
Jones, Neil D.
1
Jonášová, Eva
1
Jouannaud, Jean-Pierre, 1947-
1
Joyce, Jeffrey J.
1
Jáneš, Vlastimil, 1935-
1
Jánešová, Mária, 1952-
1
Kalina, Martin
1
Kandel, Abraham, 1941-
1
Karaçal, Funda
1
Katrnoška, František, 1929-
1
Kauers, Manuel
1
Kaňka, Miloš
1
Kedad, Zoubida
1
Kemeny, John G., 1926-1992
1
Kern-Isberner, Gabriele, 1956-
1
Kesicioğlu, M. Nesibe
1
Kirchner, Hélene
1
Kleene, Stephen Cole, 1909-1994
1
Kleinberg, Samantha, 1983-
1
Klusch, Matthias
1
Kobayashi, Kazumasa
1
Koenigsmann, Jochen
1
Kokinov, Boicho
1
Kolesárová, Anna, 1951-
1
Kolman, Vojtěch, 1975-
1
Komjáth, Péter
1
Konev, Boris
1
Konvikt sv. Bartoloměje (Praha, Česko)
1
Kopka, Jan, 1941-
1
Kopáček, Jiří, 1932-2017
1
Kopřivová, Hana
1
Koutny, Maciej
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
Kwuida, Léonard
1
Köroğlu, Tuncay
1
Kühr, Jan
1
La Higuera, Colin de
1
Lafata, Pavel, 1982-
1
Laichterová, Jarmila
1
Lamarche, Francois
1
Lang, Jérôme
1
Langmaack, Hans, 1934-
1
Lawless, William
1
Leake, David
1
Leary, Christopher C., 1957-
1
Lecomte, Alain
1
Leite, João, 1970-
1
Leitsch, Alexander
1
Lenski, Wolfgang, 1952-
1
Lenz, Mario
1
Levesque, Hector J., 1951-
1
Li, Gang
1
Li, Jinhai
1
Li, Wenjie
1
Li, Yongmin
1
Lin, Fangzhen
1
Lin, Lin
1
Lipparini, Paolo
1
Liu, Hua-Wen
1
Liška, Marek
1
Lloyd, John W.
1
Lolli, Gabriele, 1942-
1
Luk, Wayne
1
Luo, Bin
1
MacNish, Craig
1
Macpherson, H. Dugald
1
Maddox, Randall B.
1
Magnani, Lorenzo
1
Makkai, Michael, 1939-
1
Makowsky, Johann A., 1948-
1
Maldonado, José Carlos
1
Mamede, Nuno J
1
Marché, Claude
1
Marcinkowski, Jerzy
1
Marcolli, Matilde, 1969-
1
Mareš, Jan, 1944-
1
Marques-Silva, João
1
Marshall, I.
1
Marvan, Ivo
1
Masáková, Zuzana, 1975-
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
Mesiar, Radko
1
Miclet, Laurent
1
Middeldorp, Aart, 1963-
1
Miglioli, P.
1
Mileti, Joseph, 1978-
1
Miller, D. M.
1
Moller, Faron
1
Mollá-Aliod, Diego
1
Molnár, Lajos
1
Moore, Margaret H.
1
Moortgat, Michael
1
Morrill, Glyn
1
Močkoř, Jiří, 1950-
1
Mundici, Daniele
1
Murray, Neil V.
1
Muzio, Jon C.
1
Muňoz, César A.
1
Mycielski, Jan
1
Métais, Elisabeth, 1959-
1
Naraschewski, Wolfgang
1
Navara, Mirko, 1959-
1
Newey, Malcolm
1
Nguifo, Engelbert Mephu
1
Nicholson, Neil R.
1
Niederle, Rostislav, 1962-
1
Nielsen, Mogens
1
Niemyska, Wanda
1
Nisan, Noam
1
Nordström, Bengt
1
Novotná, Jarmila, 1946-
1
Novotná, Vilma, 1943-
1
Novák, Vilém, 1951-
1
Nunes, Maria das Graças Volpe
1
Odelstad, Jan, 1947-
1
Ohlbach, Hans Jürgen
1
Ojeda Aciego, Manuel, 1967-
1
Oliveira, Arlindo, 1963-
1
Oliveira, Cláudia
1
Oliveira, Suely
1
Olivetti, Nicola, 1963-
1
Oncina, Jose
1
Ong, Luke
1
Orlowska, Ewa
1
Ostravská univerzita. Přírodovědecká fakulta
1
Ouyang, Yao
1
Owens, Richard
1
Pacholski, Leszek
1
Padmanabhan, R. (Ranganathan), 1938-
1
Pahl, Peter Jan, 1937-
1
Paliouras, Georgios, 1970-
1
Paljutin, Jevgenij Andrejevič
1
Pedreschi, Dino
1
Pekarovičová, Jana, 1951-
1
Pelantová, Edita, 1959-
1
Perfil‘jeva, Irina, 1953-
1
Perrier, Guy
1
Peters, Jonas, 1984-
1
Petrenko, Alexandre
1
Petrović, Ljiljana
1
Petrík, Milan
1
Pfaff, Donald C. (Donald Chesley)
1
Pillay, Anand
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
Prade, Henri
1
Pravda, Michal
1
ProQuest Ebook Central (online služba)
1
Provinský, P.
1
Provinský, Pavel
1
Prágerová, Alena
1
Pudlák, Pavel, 1952-
1
Pulmannová, Sylvia, 1939-
1
Qin, Feng
více ...
více ...
zavřít
×
Načítá se...