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ě
více ...
prev ...
1
Fábera, Vít, 1975-
1
Fähndrich, Manuel
1
Fürnkranz, Johannes
1
Gaag, Linda C. van der
2
Gabbay, Dov M., 1945-
1
Gabbrielli, Maurizio
1
Gabelaia, David
1
Galmiche, Didier
1
Galmiche, Didier, 1958-
1
Galton, Antony, 1952-
1
Gama, João
1
Gamboa, Ruben
1
Ganesalingam, Mohan
2
Ganter, Bernhard
2
Ganter, Bernhard, 1949-
1
Gao, Helena Hong
1
Gao, Yuan
1
Garay, Juan A
1
Garcia de la Banda, Maria
1
Gargantini, Angelo
1
Garg, Naveen
2
Garrigue, Jacques
1
Gasteren, Antonetta Johanna Maria, van, 1952-2002
1
Gaudel, Marie-Claude
1
Gębala, Maciej
5
Gelbukh, Alexander
2
Gelbukh, Alexander, 1962-
1
Gent, Ian P
1
Gentile, Claudio
2
George, Chris W.
1
George, Laurent
1
Gerla, Brunella
1
Gerstein, Larry J.
1
Geuvers, Herman
1
Geuvers, Herman, 1964-
2
Gheorghe, Marian
1
Gheyi, Rohit
1
Ghilardi, Silvio
1
Ghosh, Sujata
1
Giacobazzi, Roberto
1
Giagkou, Maria
1
Giachino, Elena
3
Giannakopoulou, Dimitra
1
Giavitto, Jean-Louis
1
Gibbons, Jeremy
2
Gibbons, Jeremy, 1966-
2
Giese, Holger, 1970-
1
Giese, Martin
2
Giesl, Jürgen
1
Gilbert, Henri
1
Gill, Andy
1
Gillibert, Pierre
1
Giménez, Eduardo
1
Ginter, Filip
1
Girard, Jean-Yves, 1947-
1
Głąb, Szymon
1
Glässer, Uwe
1
Glässer, Uwe, 1959-
2
Glesner, Manfred, 1943-
1
Glimm, Birte
1
Gnesi, Stefania
1
Gnesi, Stefania, 1954-
1
Goble, Lou
1
Godefroy, Gilles
2
Godin, Robert
2
Godo, Lluís
2
Goertzel, Ben
1
Goertzel, Ben, 1966-
2
Goethals, Bart
1
Gogolla, Martin
1
Gogolla, Martin, 1954-
1
Göker, Mehmet H.
1
Goldblatt, Robert, 1949-
1
Goldreich, Oded
2
Gomes, Carla
1
Gonczarowski, Yannai A., 1981-
1
Gonthier, Georges
1
Gonzales, Christophe
3
Gopalakrishnan, Ganesh
1
Gopal, T. V.
2
Goranko, Valentin
1
Gorkin, Pamela
1
Gorla, Daniele
1
Görz, Günther
1
Gottfried, Björn
2
Gottlob, Georg
2
Gottlob, Georg, 1956-
3
Governatori, Guido
1
Grädel, Erich
1
Graf, Susanne
1
Gramlich, Bernhard
2
Gramlich, Bernhard, -2014
1
Grandjean, Etienne
1
Greco, Gianluigi
2
Greco, Salvatore
1
Greco, Sergio, 1955-
1
Griffin, Timothy G
1
Groce, Alex
1
Groote, J. F. (Jan Frisco), 1965-
4
Groote, Philippe de
2
Grossi, Davide
1
Gruhn, Volker
1
Grumberg, Orna
1
Grumberg, Orna, 1952-
2
Grundy, Jim
1
Gschwind, Thomas
1
Güdemann, Matthias
3
Gunopulos, Dimitrios
1
Gunter, Elsa L.
1
Guo, Feng
1
Gupta, Aarti
2
Gupta, Gopal, 1963-
1
Gupta, Rajiv
1
Gurevich, Yuri
1
Gutierrez, Claudio
1
Güvenir, H. Altay, 1957-
2
Habib, M. (Michel), 1951-
1
Haemmerlé, Ollivier
2
Hage, Jurriaan
3
Hagiya, Masami, 1957-
2
Hähnle, Reiner
2
Hähnle, Reiner, 1962-
1
Hájek, Petr, 1940-2016
1
Hajnicz, Elżbieta
2
Hamkins, Joel David
1
Hammack, Richard H., 1960-
1
Hammer, Eric M.
1
Handschuh, Helena
1
Handschuh, Siegfried
1
Hanft, Alexandre
2
Hanika, Jiří, 1974-
1
Hankin, Chris
1
Hannemann, Ulrich
1
Hanus, Michael, 1959-
1
Harju, T.
1
Harman, Neil
1
Harmelen, Frank van
2
Harrison, John, 1966-
1
Hartenstein, Reiner W.
1
Hasegawa, Masahito
1
Hassanien, Aboul Ella, 1964-
1
Hata, Yutaka
1
Hatcliff, John
2
Havelund, Klaus, 1955-
1
Haveraaen, Magne
1
Hawblitzel, Chris
1
Hayes, Ian, 1956-
1
Heath, Chip, 1963-
1
Hedin, Görel
1
Heering, Jan
1
Hendren, Laurie
1
Hennicker, Rolf
1
Henson, Martin
1
Henzinger, Monika
3
Henzinger, T. A., 1962-
1
Herik, H. Jaap van den
1
Hermann, Miki
1
Hermann, Miki, 1958-
1
Hermanns, Holger
1
Hermenegildo, Manuel V
1
Herrlich, Horst
1
Herzberg, Frederik
1
Herzig, Andreas
1
Heutte, Laurent
1
He, Xiangdong
1
Hierons, Robert M.
1
Hill, Patricia M
1
Hill, Richard
1
Hindley, J. Roger, 1939-
1
Hinchey, Mike
1
Hinman, Peter G.
2
Hinze, Ralf
1
Hinze, Thomas
1
Hirano, Shoji
2
Hirsch, Edward A
1
Hitzler, Pascal, 1971-
1
Hodges, Andrew, 1949-
3
Hodges, Wilfrid, 1941-
2
Hoek, Wiebe van der
1
Hofmann, Martin
1
Hofmann, Martin, 1965-
3
Hofmann, Thomas
1
Höfner, Peter
1
Hofstadter, Douglas R., 1945-
1
Holcombe, Mike
1
Hole, Daniel
3
Hölldobler, Steffen
1
Holliday, Wesley H
1
Holub, Jan, 1973-
2
Holzer, Markus
1
Hölzl, Matthias
1
Holzmann, Gerald J., 1951-
1
Homer, S. (Steven)
1
Honavar, Vasant
1
Hong, Hoon
1
Honsell, Furio
1
Hoogeboom, Hendrik Jan
1
Hoos, Holger H
3
Horimoto, Katsuhisa
2
Horrocks, Ian
1
Horty, John
3
Horváth, Zoltán
1
Howse, John
3
Huang, De-Shuang
1
Huang, Huaxin
1
Huang, Chenchen
1
Huang, Jun
1
Huet, Gérard
1
Hung, Dang Van
1
Hunter, Anthony
2
Hurd, Joe, 1975-
1
Hurst, Stanley Leonard
1
Hutter, Dieter
1
Hutter, Marcus
1
Hu, Zhenjiang
4
Ibarra, Oscar H., 1941-
1
Icard, Thomas
1
Idani, Akram
2
Ida, Tetsuo
2
Idziak, Pawel, 1958-
1
Igarashi, Atsushi
2
Iida, Hiroyuki
1
Iida, Shusaku
1
Iklé, Matthew
1
Iliopoulos, Costas S
1
Inenaga, Shunsuke
1
Ingólfsdóttir, Anna
1
Inoue, Katsumi
1
International Fedration for Computational Logic
3
Inuiguchi, Masahiro
1
Ionescu, Armand Mihai
1
Irwin, G. W. (George William), 1950-
1
Issarny, Valérie
1
Italiano, Giuseppe F
1
Italiano, Giuseppe F., 1961-
1
Itō, Masami, 1941-
1
Jackson, Ethan
1
Jackson, Paul
1
Jackson, Paul B., 1962-
2
Jäger, Gerhard
1
Jager, Tikitu de
1
Jain, L. C., 1946-
1
Jain, Rahul
2
Jain, Sanjay
1
Jain, Sanjay, 1965 únor 22.-
2
Jamroga, Wojtek
1
Janda, Jiří
1
Jánešová, Mária, 1952-
1
Jáneš, Vlastimil, 1935-
1
Janhunen, Tomi
1
Janzing, Dominik, 1966-
1
Jaoua, Ali Mohamed
1
Järvisalo, Matti
1
Jarvis, Ray
1
Jenčová, Anna
1
Jensen, Kurt
1
Jensen, Thomas
1
Jermann, Christophe
1
Jeřábek, Emil
1
Jeuring, Johan, 1965-
1
Jha, Girish Nath
2
Jhala, Ranjit
1
Jiao, Li-cheng
2
Jin, Yaochu, 1966-
1
Jipsen, Peter
2
Johnsen, Einar Broch
2
Johnson, Michael
1
Jo, Kang-Hyun
1
Jones, C. B. (Cliff B.), 1944-
1
Jones, Cliff
1
Jones, Cliff B
1
Jones, Neil D.
1
Jones, Richard
1
Jones, Robert B. (Robert Brent), 1969-
1
Jonoska, Nataša
1
Jorge, Alípio Mário
2
Joshi, Rajeev
2
Jouannaud, Jean-Pierre
2
Jouannaud, Jean-Pierre, 1947-
1
Joyce, Jeffrey J.
2
Julliand, Jacques
1
Jurdziński, Marcin
2
Jürgensen, Helmut, 1942-
1
Ju, Shier
1
Jüttler, Bert
1
Kacprzyk, Janusz, 1947-
1
Kahle, Reinhard
3
Kahl, Wolfram
1
Kaiser, Łukasz
1
Kalina, Martin
1
Kaliszyk, Cezary
1
Kaljurand, Kaarel
1
Kallmeyer, Laura
2
Kaminski, Michael
2
Kanazawa, Makoto
1
Kapur, Deepak
1
Karaçal, Funda
5
Karhumäki, Juhani, 1949-
1
Kari, Jarkko
1
Karttunen, Lauri
1
Kashefi, Elham
2
Katona, Gyula, 1941-
1
Katrenko, Sophia
1
Katz, Shmuel
1
Kauers, Manuel
1
Kaufmann, Matt
1
Kazuo, Iwama
2
Kedad, Zoubida
1
Kefalas, Petros
2
Keisler, H. Jerome, 1936-
1
Kelemen, Jozef
1
Kelemenová, Alica
1
Kerber, Manfred
1
Kern-Isberner, Gabriele
1
Kern-Isberner, Gabriele, 1956-
1
Kesicioğlu, M. Nesibe
1
Kesim Çiçekli, Nihan
1
Khoussainov, Bakhadyr
2
Khurshid, Sarfraz
1
Kimmelman, Vadim
1
Kim, Myung-Soo
1
King, Andy
1
King, Steve
1
Kirchner, Claude
1
Kirchner, Hélene
1
Kirchner, Hélène
1
Kitzelmann, Emanuel
1
Kivinen, Jyrki
1
Kleinberg, Samantha, 1983-
1
Kleine Büning, Hans
1
Klein, Gerwin
2
Kleiter, Gernot D.
1
Klettke, Meike
1
Klin, Bartek
1
Klusch, Matthias
1
Knoop, Jens
1
Kobayashi, Kazumasa
3
Kobayashi, Naoki, 1968-
1
Kobayashi, Satoshi
1
Koenigsmann, Jochen
1
Kofod-Petersen, Anders
2
Kohlenbach, Ulrich
1
Kohlhase, Michael
1
Koch, Nora
2
Kokinov, Boicho
1
Kok, Joost N
1
Kolaitis, Phokion
1
Kolesárová, Anna, 1951-
1
Komjáth, Péter
3
Konev, Boris
1
König, Barbara
1
Konstantinidis, Stavros
2
Koopman, Pieter
2
Kop, Christian
2
Kornai, András
1
Köroğlu, Tuncay
1
Koronacki, Jacek
1
Kosmatov, Nikolai
1
Koubarakis, Manolis
1
Kouchnarenko, Olga
2
Koutny, Maciej
1
Kracht, Marcus
2
Krajíček, Jan
3
Krajíček, Jan, 1960-
1
Královič, Rastislav
1
Kramer, Stefan
1
Krantz, Steven G. (Steven George), 1951-
1
Kratochvíl, Jan
1
Kratochvíl, Jan, 1959-
2
Kreowski, Hans-Jörg
1
Kreowski, Hans-Jörg, 1949-
1
Krishnamurthi, Shriram
1
Krishna, Shankara Narayanan
1
Kristensen, Lars M
1
Kristiansen, Lars
3
Kroening, Daniel
1
Krüger, Antonio
1
Ktari, Béchir
1
Kučera, Antonín, 1971-
1
Kühnberger, Kai-Uwe
2
Kuhn, Tobias
1
Kühr, Jan
1
Kuchen, Herbert
1
Kuich, Werner
1
Kulikov, Alexander
1
Kullmann, Oliver
1
Kulmann, Friedhelm
1
Kulmann, Friedhelm, 1959-
1
Kuncak, Viktor
1
Kupke, Clemens
1
Kuri Morales, Ángel Fernando
1
Kurz, Alexander
4
Kutrib, Martin
1
Kutsia, Temur
1
Kutyłowski, Mirosław
1
Kuznecov, Sergej Olegovič
2
Kuznetsov, Sergei O
2
Kwong, Oi Yee
1
La Higuera, Colin de
1
Lai, Xuejia
1
Lakhneck, Yassine
1
Lal, Akash
1
Laleau, Régine
1
Lamarche, Francois
1
Lammari, Nadira
2
Lämmel, Ralf
1
Lanese, Ivan, 1978-
1
Lange, Christoph
3
Lang, Jérôme
1
Langmaack, Hans, 1934-
1
Lara, Juan de
1
Larchey-Wendling, Dominique
1
Larrosa, Javier
1
Larsen, K. G. (Kim G.), 1957-
2
Lascar, Daniel, 1942-
1
Lasota, Slawomir
1
Lassiter, Daniel
1
Latella, Diego
1
Lau, Lap Chi
1
Launchbury, John
1
Lausen, Georg
1
Lawless, William
1
Lawrence, Neil (Neil D.), 1972-
1
Leake, David
1
Leake, David B., 1957-
1
Leary, Christopher C., 1957-
1
Leavens, Gary T
3
Lecomte, Alain
1
Lecroq, Thierry, 1965-
1
Lee, Jimmy
1
Lee, Jong-Hyeok
1
Lee, Joohyung
3
Legay, Axel
4
Leite, João
3
Leite, João, 1970-
1
Leitsch, Alexander
4
Leivant, Daniel Maurice Raphaël
1
Lenisa, Marina
1
Lenski, Wolfgang, 1952-
1
Lenz, Mario
1
Leone, Nicola
3
Lepistö, Arto
1
Leporati, Alberto
1
Leroux, Jérôme
1
Leucker, Martin
1
Levesque, Hector J., 1951-
1
Levine, Daniel S
1
Levit, Vadim E.
1
Lewerentz, Claus
2
Li, Angsheng
2
Liben-Nowell, David
2
Libkin, Leonid, 1965-
1
Lierler, Yuliya
1
Li, Gang
1
Li, Jinhai
1
Li, Kang
1
Lincoln, Patrick
2
Lin, Fangzhen
2
Lingras, Pawan J. (Pawan Jayawantrao), 1963-
1
Lin, Lin
1
Lipparini, Paolo
1
Lipshteyn, Marina
1
Lisi, Francesca A
1
Lisitsa, Alexei
1
Liśkiewicz, Maciej
1
Litovsky, Igor
1
Liu, Hua-Wen
1
Liu, Jing
3
Liu, Shaoying
1
Liu, Weiru, 1962-
2
Liu, Zhiming
2
Liu, Zhiming, 1961-
3
Liu, Zhiming, 1972-
1
Liu, Zhi-Qiang
1
Li, Wenjie
1
Li, Xuandong
1
Li, Xue, 1963-
1
Li, Yongmin
1
Lloyd, John W.
1
Lluch Lafuente, Alberto
2
Löbner, Sebastian, 1949-
2
Lodaya, Kamal
1
Lodi, Elena
1
Logozzo, Francesco
1
Loidl, Hans-Wolfgang+
1
Lolli, Gabriele, 1942-
1
Lomuscio, Alessio
1
Long, Philip M
1
Loog, Marco
1
Looks, Moshe
5
Löwe, Benedikt
1
Löwe, Welf
1
Lugosi, Gábor
1
Lu, Hanlin
2
Lukasiewicz, Thomas
1
Luk, Wayne
1
Lumpe, Markus
1
Luo, Bin
1
Lu, Qin
1
Lutz, Carsten
více ...
zavřít
×
Načítá se...