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ě
309
SpringerLink (online služba)
8
Voronkov, Andrei, 1959-
6
Queiroz, Ruy J. G. B. de
5
Rozenberg, Grzegorz, 1942-
5
Wang, Guoyin
4
Biere, Armin, 1967-
4
Nerode, Anil, 1932-
4
Salomaa, Arto, 1934-
3
Beckert, Bernhard
3
Bekki, Daisuke
3
Boer, Frank S. de
3
Calude, Cristian, 1952-
3
Durand, Bruno
3
Gelbukh, Alexander, 1962-
3
Henzinger, T. A., 1962-
3
Karhumäki, Juhani, 1949-
3
Kobayashi, Naoki, 1968-
3
Leite, João, 1970-
3
Liu, Zhiming, 1972-
3
Löwe, Benedikt
3
Narukawa, Yasuo, 1964-
3
Okhotin, Alexander
3
Paulin-Mohring, Christine, 1962-
3
Perner, Petra, 1958-
3
Potapov, Igor
3
Reis, Rogério
3
Thomas, Wolfgang, 1947-
3
Torra, Vicenç
3
Torroni, Paolo
3
Vidal, Germán
3
Wang, Lipo
3
Woodcock, Jim, 1956-
2
Alt, Helmut, 1950-
2
Bacchus, Fahiem
2
Ball, Thomas (Thomas Jaudon), 1965-
2
Baral, Chitta, 1966-
2
Beklemishev, Lev D.
2
Berardi, Stefano
2
Bjørner, Nikolaj
2
Botana, Francisco
2
Carette, Jacques
2
Cooper, S. B. (S. Barry), 1943-2015
2
Croitoru, Madalina
2
Damiani, Ferruccio
2
Demetrovics, János, 1946-
2
Diekert, Volker, 1955-
2
Dowek, Gilles, 1966-
2
Duparc, Jacques, 1962-
2
Eklund, Peter W., 1962-
2
Embley, David W.
2
Etalle, Sandro
2
European Cooperation in the Field of Scientific and Technical Research (organizace). COST Action 274 TARSKI (projekt)
2
Fiadeiro, José Luiz, 1961-
2
Filliâtre, Jean-Christophe
2
Ganter, Bernhard, 1949-
2
George, Chris W.
2
Giannakopoulou, Dimitra
2
Gibbons, Jeremy, 1966-
2
Giesl, Jürgen
2
Gomes, Carla
2
Gramlich, Bernhard, -2014
2
Groote, Philippe de
2
Gupta, Gopal, 1963-
2
Habib, M. (Michel), 1951-
2
Hagiya, Masami, 1957-
2
Havelund, Klaus, 1955-
2
Horimoto, Katsuhisa
2
Hurd, Joe, 1975-
2
Hähnle, Reiner, 1962-
2
Jin, Yaochu, 1966-
2
Jürgensen, Helmut, 1942-
2
Katona, Gyula, 1941-
2
Kroening, Daniel
2
Kuhn, Tobias
2
Kutrib, Martin
2
Lang, Jérôme
2
Leivant, Daniel Maurice Raphaël
2
Lepistö, Arto
2
Libkin, Leonid, 1965-
2
Lin, Fangzhen
2
Liu, Zhiming, 1961-
2
Lutz, Carsten, 1971-
2
Löbner, Sebastian, 1949-
2
Mauri, Giancarlo, 1949-
2
Melham, T. F. (Tom F.), 1960-
2
Miller, Dale (Dale A.), 1956-
2
Missaoui, Rokia, 1949-
2
Montanari, Ugo, 1943-
2
Moreira, Nelma
2
Muskens, Reinhard, 1953-
2
Métais, Elisabeth, 1959-
2
Olivetti, Nicola, 1963-
2
Olivé, Antoni, 1946-
2
Ong, Luke
2
Paun, Gheorghe, 1950-
2
Pedrycz, Witold, 1953-
2
Petrosino, Alfredo
2
Peña, Ricardo, 1950-
2
Rabe, Florian
2
Ram, Sudha, 1959-
2
Richter, Frank
2
Ronchi Della Rocca, Simona, 1946-
2
Roth-Berghofer, Thomas R., 1967-
2
Sakakibara, Yasubumi
2
Satoh, Ken, 1959-
2
Sekerinski, Emil, 1963-
2
Shur, Arseny M.
2
Siekmann, Jörg, 1941-
2
Skowron, Andrzej, 1943-
2
Sorge, Volker
2
Swart, H. C. M. de (Henricus Cornelius Maria), 1944-
2
Tarlecki, Andrzej, 1956-
2
Tinelli, Cesare
2
Urzyczyn, Pawel
2
Vardanega, Tullio
2
Walsh, Toby
2
Wansing, Heinrich
2
Werner, Benjamin
2
Yao, Yiyu
2
Èsik, Zoltán, 1951-
2
Železný, Filip, 1974-
1
Abdulla, Parosh Aziz
1
Abramsky, Samson, 1953-
1
Aceto, Luca, 1961-
1
Adian, Sergei
1
Adriaans, P.W., 1955-
1
Akhgar, Babak
1
Albert, Elvira
1
Alferes, José Júlio, 1966-
1
Aloni, Maria
1
Alpuente, María
1
Altenkirch, Thorsten, 1962-
1
Amadio, Roberto M.
1
An, Aijun, 1964-
1
Andres, Frederic
1
Andrews, Simon
1
Anthony, Patricia
1
Apolloni, Bruno, 1946-
1
Aranda-Corral, Gonzalo A.
1
Armando, Alessandro
1
Artemov, S. N.
1
Arumugam, S., 1943-
1
Asarin, Jevgenij Aleksandrovič, 1962-
1
Asociación Española de Inteligencia Artificial. Conferencia
1
Association for Symbolic Logic
1
Audebaud, Philippe
1
Auer, Peter, 1964-
1
Aziz, Zaheer
1
Baader, Franz, 1959-
1
Bach, Joscha
1
Baeten, J. C. M. (Josephus Cornelis M.), 1954-
1
Baier, Christel
1
Baldan, Paolo
1
Barais, Olivier
1
Barbosa, Luís Soares
1
Bartocci, Ezio
1
Basili, Roberto
1
Beckmann, Arnold
1
Beetz, Michael, 1961-
1
Bensalem, Saddek
1
Berghammer, Rudolf, 1952-
1
Bernardo, Marco, 1970-
1
Bezem, Marc, 1956-
1
Bezhanishvili, Guram
1
Bezhanishvili, Nick
1
Binder, Walter
1
Birkedal, Lars
1
Blache, Philippe
1
Blackburn, Patrick, 1959-
1
Bloem, Roderick
1
Blume, Matthias
1
Boca, Paul
1
Bodden, Eric
1
Boella, Guido
1
Bolduc, Claude
1
Bonacina, Maria Paola
1
Bonizzoni, Paola
1
Bonsangue, Marcello M. (Marcello Maria)
1
Borger, Egon
1
Borrajo, Daniel
1
Bosch, Peter
1
Bouajjani, Ahmed
1
Bouyer, Patricia, 1976-
1
Bowen, J. P. (Jonathan Peter), 1956-
1
Branco, António
1
Brandt, Jens, 1978-
1
Brattka, Vasco
1
Bravetti, Mario, 1971-
1
Brewka, Gerhard, 1955-
1
Brézillon, Patrick
1
Bshouty, Nader H.
1
Bulatov, Andrei A.
1
Bulling, Nils
1
Bundy, Alan
1
Bunker, Annette
1
Bursa, Miroslav
1
Buss, Samuel R., 1957-
1
Butler, Alastair
1
Butler, Michael, 1967-
1
Butz, Cory J.
1
Béal, Marie-Pierre
1
Calimeri, Francesco
1
Calinescu, Radu
1
Calmet, Jacques, 1941-
1
Campbell, J. A., 1940-
1
Carrasco, Rafael C.
1
Carton, Olivier
1
Caseli, Helena
1
Castillo, Luis, 1969-
1
Cate, Balder ten, 1979-
1
Cellier, Peggy
1
Cerone, Antonio
1
Chan, T-H. Hubert
1
Chatterjee, Krishnendu
1
Chen, Jianer
1
Chng, Eng-Siong
1
Clarke, E. M., 1945-
1
Coelho, Helder, 1944-
1
Cohen, Ernie
1
Colinet, Margot
1
Combemale, Benoît
1
Coppo, Mario, 1947-
1
Corby, Olivier
1
Corchado, Juan M., 1971-
1
Corradini, Andrea, 1960-
1
Csuhaj-Varjú, E., 1954-
1
Cummins, Fred
1
Cutland, Nigel, 1944-
1
Czarnecki, Krzysztof, 1970-
1
D'Souza, Deepak
1
Daelemans, Walter, 1960-
1
Dapoigny, Richard
1
Davenport, J. H. (James Harold), 1953-
1
Davis, Brian
1
Davis, Martin, 1928-2023
1
Dawar, Anuj
1
Dawar, Anuj, 1966-
1
De Felice, Clelia, 1959-
1
De Raedt, Luc, 1964-
1
Delgrande, James P.
1
Dennunzio, Alberto
1
Dershowitz, Nachum, 1951-
1
Desharnais, Jules
1
Dey, Anind K., 1970-
1
Dezani-Ciancaglini, Mariangiola
1
Di Gesù, Vito
1
Di Nasso, Mauro, 1963-
1
Dierkes, Michael
1
Dinneen, M. J. (Michael J.), 1967-
1
Distel, Felix
1
Domaratzki, Michael
1
Domenach, Florent
1
Drossopoulou, Sophia
1
Duan, Zhenhua
1
Duchier, Denys
1
Durand-Lose, Jérôme
1
Durán, Franciso
1
Díaz, Josep, 1950-
1
Ebert, Christian
1
Edelkamp, Stefan, 1969-
1
Egg, Markus
1
Egyed, Alexander
1
Ehrig, Hartmut, 1944-
1
Eiter, Thomas, 1966-
1
Engels, Gregor
1
Englert, Roman
1
Erdem, Esra
1
Esposito, Anna
1
Etessami, Kousha
1
European Association for Computer Science Logic. Conference
1
European Association for Computer Science Logic. conference
1
Faber, Wolfgang, 1974-
1
Fages, François
1
Falaschi, Moreno
1
Fanelli, Anna Maria
1
Farmer, William M.
1
Fehnker, Ansgar
1
Fermüller, Christian G., 1963-
1
Fernau, Henning, 1965-
1
Ferreira, Afonso, 1960-
1
Finkel, Alain
1
Fisher, Michael, 1962-
1
Fitzgerald, John, 1965-
1
Fleuriot, Jacques, 1972-
1
Fliedl, Günther
1
Frappier, Marc
1
Frasconi, Paolo
1
Freund, Rudolf
1
Froncek, Dalibor
1
Fuchs, Norbert E.
1
Furbach, Ulrich, 1948-
1
Fähndrich, Manuel
1
Fürnkranz, Johannes
1
Gaag, Linda C. van der
1
Gabbay, Dov M., 1945-
1
Gabbrielli, Maurizio
1
Gabelaia, David
1
Gao, Helena Hong
1
Garrigue, Jacques
1
Gentile, Claudio
1
Gheyi, Rohit
1
Ghosh, Sujata
1
Giachino, Elena
1
Giagkou, Maria
1
Giese, Holger, 1970-
1
Giese, Martin
1
Gilbert, Henri
1
Girard, Jean-Yves, 1947-
1
Glodeanu, Cynthia Vera
1
Glässer, Uwe
1
Gnesi, Stefania, 1954-
1
Godin, Robert
1
Godo, Lluís
1
Goertzel, Ben, 1966-
1
Goethals, Bart
1
Gogolla, Martin, 1954-
1
Gonthier, Georges
1
Gonzales, Christophe
1
Gopalakrishnan, Ganesh
1
Gorla, Daniele
1
Greco, Salvatore
1
Greco, Sergio, 1955-
1
Groote, J. F. (Jan Frisco), 1965-
1
Grzymala-Busse, Jerzy W., 1942-
1
Gupta, Aarti
1
Göker, Mehmet H.
1
Güvenir, H. Altay, 1957-
1
Haemmerlé, Ollivier
1
Handschuh, Helena
1
Hanus, Michael, 1959-
1
Harju, T.
1
Haveraaen, Magne
1
Hawblitzel, Chris
1
Hayes, Ian, 1956-
1
Hedin, Görel
1
Heering, Jan
1
Hendren, Laurie
1
Henzinger, Monika
1
Hermann, Miki, 1958-
1
Hertzberg, Joachim, 1958-
1
Hierons, Robert M.
1
Hill, Richard
1
Hindley, J. Roger, 1939-
1
Hinze, Ralf
1
Hitzler, Pascal, 1971-
1
Hofmann, Martin, 1965-
1
Holub, Jan, 1973-
1
Holzer, Markus
1
Holzinger, Andreas, 1963-
1
Holzmann, Gerald J., 1951-
1
Homer, S. (Steven)
1
Honavar, Vasant
1
Honsell, Furio
1
Howse, John
1
Huang, De-Shuang
1
Hund, Marcus
1
Huo, Qiang
1
Hájek, Petr, 1940-2016
1
Höfner, Peter
1
Hölldobler, Steffen
1
Ianni, Giovambattista
1
Icard, Thomas
1
Ida, Tetsuo
1
Ignatov, Dmitrij Igorevič, 1983-
1
Iklé, Matthew
1
Imiya, Atsushi
1
Inuiguchi, Masahiro
1
Irwin, G. W. (George William), 1950-
1
Ishizuka, Mitsuru, 1948-
1
Issarny, Valérie
1
Italiano, Giuseppe F., 1961-
1
Itō, Masami, 1941-
1
Jain, Sanjay, 1965 únor 22.-
1
Janhunen, Tomi
1
Jaoua, Ali Mohamed
1
Jeuring, Johan, 1965-
1
Jiao, Li-cheng
1
Jipsen, Peter
1
Johnsen, Einar Broch
1
Johnson, Michael
1
Jones, C. B. (Cliff B.), 1944-
1
Jones, Richard
1
Jones, Robert B. (Robert Brent), 1969-
1
Jonoska, Nataša
1
Joshi, Rajeev
1
Joyce, Jeffrey J.
1
Julliand, Jacques
1
Jäger, Gerhard
1
Kahl, Wolfram
1
Kaliszyk, Cezary
1
Kaljurand, Kaarel
1
Kallmeyer, Laura
1
Kaminski, Michael
1
Kanazawa, Makoto
1
Kannan, Rajkumar
1
Kari, Jarkko
1
Katrenko, Sophia
1
Katz, Graham
1
Kauers, Manuel
1
Kaytoue, Mehdi
1
Kedad, Zoubida
1
Kerber, Manfred
1
Kern-Isberner, Gabriele, 1956-
1
Khuri, Sami
1
Khurshid, Sarfraz
1
Kimmelman, Vadim
1
Kirchner, Hélene
1
Kleine Büning, Hans
1
Kohlenbach, Ulrich
1
Konev, Boris
1
Koopman, Pieter
1
Kop, Christian
1
Kouchnarenko, Olga
1
Kratochvíl, Jan, 1959-
1
Kreowski, Hans-Jörg, 1949-
1
Krishnamurthi, Shriram
1
Ktari, Béchir
1
Kulmann, Friedhelm, 1959-
1
Kuznecov, Sergej Olegovič
1
Kučera, Antonín, 1971-
1
Kwuida, Léonard
1
König, Barbara
1
La Higuera, Colin de
1
Lal, Akash
1
Laleau, Régine
1
Lammari, Nadira
1
Lanese, Ivan, 1978-
1
Larsen, K. G. (Kim G.), 1957-
1
Lau, Lap Chi
1
Lavrač, Nada, 1953-
1
Lawrence, Neil (Neil D.), 1972-
1
Leake, David B., 1957-
1
Lecroq, Thierry, 1965-
1
Legay, Axel
1
Leroux, Jérôme
1
Li, Haizhou
1
Li, Kang
1
Li, Tianrui
1
Li, Wenjie
1
Li, Xuandong
1
Li, Xue, 1963-
1
Li, Yuefeng
1
Lingras, Pawan J. (Pawan Jayawantrao), 1963-
1
Link, Sebastian
1
Lisi, Francesca A.
1
Liu, Jing
1
Liu, Shaoying
1
Liu, Weiru, 1962-
1
Liśkiewicz, Maciej
1
Logozzo, Francesco
1
Loidl, Hans-Wolfgang+
1
Lomuscio, Alessio
1
Looks, Moshe
1
Lu, Qin
1
Lukasiewicz, Thomas
1
Lukose, Dickson, 1963-
1
Lumpe, Markus
1
Löwe, Welf
1
Ma, Bin
1
Majumdar, Rupak
1
Maldonado, José Carlos
1
Maler, Oded
1
Malik, Sharad
1
Manea, Florin
1
Maneth, Sebastian
1
Manzoni, Luca
1
Marchetti-Spaccamela, Alberto
1
Marché, Claude
1
Marcinkowski, Jerzy
1
Margaria-Steffen, Tiziana, 1964-
1
Margenstern, Maurice
1
Marinaro, Maria, 1933-
1
Mariño, Julio
1
Marques-Silva, João
1
Marra, Vincenzo
1
Martini, Simone, 1959-
1
Martín-Mateos, Francisco J.
1
Masulli, Francesco, 1952-
1
Matijasevič, Ju. V. (Jurij Vladimirovič)
1
Mayr, Heinrich C.
1
McBride, Conor
1
McIver, Annabelle, 1964-
1
McMillan, Kenneth L.
1
Meir, Ron
1
Merayo, Mercedes G.
1
Mertsching, Bärbel
1
Meyer, Bertrand, 1950-
1
Meziane, Farid
1
Miao, Duoqian
1
Michaelis, Jens
1
Miclet, Laurent
1
Miculan, Marino
1
Miguel, Ian
1
Milano, Michela, 1970-
1
Miller, Mirka, 1949-2016
1
Mineshima, Koji
1
Misra, Jayadev
1
Miyamoto, Sadaaki, 1950-
1
Mollá-Aliod, Diego
1
Morales, Eduardo F.
více ...
více ...
zavřít
×
Načítá se...