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ě
125
SpringerLink (online služba)
11
Voronkov, Andrei, 1959-
6
Voronkov, Andrei
3
Konev, Boris
2
Armando, Alessandro
2
Baral, Chitta
2
Erdem, Esra
2
Etalle, Sandro
2
Gupta, Gopal, 1963-
2
Hagiya, Masami, 1957-
2
Muggleton, Stephen
2
Ramon, Jan
2
Ringeissen, Christophe
2
Rudolph, Sebastian
2
Schrijvers, Tom
2
Son, Tran Cao
2
Tamaddoni-Nezhad, Alireza
2
Torroni, Paolo
2
Truszczyński, Mirosław
2
Veith, Helmut
2
Vidal, Germán
2
Wolter, Frank
2
Zaverucha, Gerson
2
Železný, Filip, 1974-
1
Albert, Elvira
1
Archibald, Margaret
1
Baader, Franz
1
Baader, Franz, 1959-
1
Baaz, Matthias, 1960-
1
Bacardit, Jaume
1
Balduccini, Marcello
1
Baumgartner, Peter
1
Beckert, Bernhard
1
Beek, Peter van
1
Benhamou, Frédéric
1
Berardi, Stefano
1
Bernadó-Mansilla, Ester
1
Bessière, Christian
1
Bjørner, Nikolaj
1
Blockeel, Hendrik
1
Blume, Matthias
1
Bolduc, Claude
1
Bramer, M. A. (Max A.), 1948-
1
Brattka, Vasco
1
Brewka, Gerhard
1
Broersen, Jan
1
Bruza, Peter
1
Brünnler, Kai
1
Butz, Martin V
1
Cabalar, Pedro
1
Calimeri, Francesco
1
Calude, Cristian, 1952-
1
Cariani, Fabrizio
1
Cerro, Luis Fariñas del
1
Cervesato, Iliano
1
Chemello, Gaetano
1
Chitil, Olaf
1
Christiansen, Henning
1
Clark, Alexander
1
Clarke, E. M., 1945-
1
Clavel, Manuel
1
Codish, Michael
1
Cohen, Ernie
1
Corby, Olivier
1
Costa, Augusto Loureiro da
1
Coste, François
1
Croitoru, Madalina
1
Dahl, Véronica
1
Damiani, Ferruccio
1
Dau, Frithjof
1
Davis, Jesse
1
Davis, Martin, 1928-2023
1
Dawar, Anuj
1
De Nicola, Rocco
1
De Nivelle, Hans
1
De Raedt, Luc, 1964-
1
Delgrande, James P.
1
Dershowitz, Nachum
1
Dershowitz, Nachum, 1951-
1
Desharnais, Jules
1
Dowek, Gilles
1
Durán, Francisco
1
Edelkamp, Stefan, 1969-
1
Eekelen, Marko van
1
Eiter, Thomas
1
Eker, Steven
1
Eklund, Peter W., 1962-
1
Elgesem, Dag
1
Faber, Wolfgang, 1974-
1
Falaschi, Moreno
1
Fehnker, Ansgar
1
Fermé, Eduardo
1
Fermüller, Christian G., 1963-
1
Filliâtre, Jean-Christophe
1
Finkbeiner, Bernd
1
Fisher, Michael
1
Fontaine, Pascal
1
Frasconi, Paolo
1
Frühwirth, Thom, 1962-
1
Gabbrielli, Maurizio
1
Galmiche, Didier
1
Garcia de la Banda, Maria
1
Garrigue, Jacques
1
Gelbukh, Alexander, 1962-
1
Geuvers, Herman
1
Giannakopoulou, Dimitra
1
Giese, Martin
1
Giesl, Jürgen
1
Godo, Lluís
1
Gopalakrishnan, Ganesh
1
Goranko, Valentin
1
Governatori, Guido
1
Gramlich, Bernhard
1
Gramlich, Bernhard, -2014
1
Greco, Gianluigi
1
Grossi, Davide
1
Gupta, Aarti
1
Haemmerlé, Ollivier
1
Hennicker, Rolf
1
Hermann, Miki
1
Hermann, Miki, 1958-
1
Hermenegildo, Manuel V
1
Herzig, Andreas
1
Hill, Patricia M
1
Hodges, Wilfrid, 1941-
1
Hoek, Wiebe van der
1
Honsell, Furio
1
Howse, John
1
Huang, De-Shuang
1
Hutter, Marcus
1
Hähnle, Reiner, 1962-
1
Hölldobler, Steffen
1
Hölzl, Matthias
1
Ianni, Giovambattista
1
Jo, Kang-Hyun
1
Johnson, Michael
1
Joshi, Rajeev
1
Kaminski, Michael
1
Kersting, Kristian, 1973-
1
King, Andy
1
Kirchner, Hélene
1
Kitzelmann, Emanuel
1
Kleine Büning, Hans
1
Klusch, Matthias
1
Kobayashi, Naoki, 1968-
1
Koch, Nora
1
Kornai, András
1
Kovacs, Tim
1
Kramer, Stefan
1
Kroening, Daniel
1
Ktari, Béchir
1
Kuznetsov, Sergei O
1
Larchey-Wendling, Dominique
1
Launchbury, John
1
Lavrač, Nada, 1953-
1
Lawless, William
1
Lee, Joohyung
1
Leite, João
1
Leite, João, 1970-
1
Leone, Nicola
1
Levine, Daniel S
1
Li, Wenjie
1
Lierler, Yuliya
1
Lin, Fangzhen
1
Lincoln, Patrick
1
Lisi, Francesca A
1
Lisitsa, Alexei
1
Llorà, Xavier
1
Lomuscio, Alessio
1
Lutz, Carsten
1
Lutz, Carsten, 1971-
1
Löwe, Benedikt
1
Malik, Sharad
1
Martini, Simone, 1959-
1
Martí-Oliet, Narciso
1
Mayer, Philip
1
McIver, Annabelle, 1964-
1
McMillan, Kenneth L.
1
Meheus, Joke
1
Mengin, Jérôme
1
Meseguer, José
1
Metcalfe, George
1
Meyden, Ron van der
1
Miclet, Laurent
1
Miculan, Marino
1
Middeldorp, Aart, 1963-
1
Miguel, Ian
1
Mollá-Aliod, Diego
1
Morales, Eduardo F.
1
Morita, Kenichi
1
Muggleton, Stephen H
1
Müller, Peter
1
Narukawa, Yasuo, 1964-
1
Niemelä, Ilkka
1
Olivetti, Nicola, 1963-
1
Otero, Ramon
1
Paes, Aline
1
Parent, Xavier
1
Paulin-Mohring, Christine, 1962-
1
Pavlovic, Dusko
1
Pearce, David
1
Peled, Doron A
1
Peña, Ricardo, 1950-
1
Pfahringer, Bernhard
1
Plasmeijer, Rinus
1
Podelski, Andreas
1
Pontelli, Enrico
1
Pu, Geguang
1
Puebla, Germán
1
Pugliese, Andrea
1
Qadeer, Shaz
1
Qin, Shengchao
1
Queiroz, Ruy J. G. B. de
1
Ramanujam, R
1
Ranise, Silvio
1
Riguzzi, Fabrizio
1
Rijsbergen, Keith van
1
Rocha, Ricardo
1
Rozenberg, Grzegorz, 1942-
1
Ruml, Wheeler
1
Russo, Claudio
1
Rybalchenko, Andrey
1
Sakarovitch, Jacques, 1947-
1
Santos Costa, Vítor
1
Sartor, Giovanni
1
Sarukkai, Sundar
1
Scagnetto, Ivan
1
Schaub, Torsten
1
Schlipf, John
1
Schmaltz, Julien
1
Schmid, Ute
1
Schmidt, Renate A
1
Schmidt, Renate A.
1
Scholz, Sven-Bodo
1
Schreye, Danny De
1
Shavlik, Jude
1
Skadhauge, Peter Rossen
1
Smaus, Jan-Georg
1
Sofge, Donald
1
Sofronie-Stokkermans, Viorica
1
Sossai, Claudio
1
Steels, Luc
1
Stephan, Frank
1
Strass, Hannes
1
Stuckey, Peter J
1
Sumii, Eijiro
1
Sutcliffe, Geoff
1
Sutcliffe, Geoff, 1961-
1
Tadepalli, Prasad
1
Takadama, Keiki
1
Talcott, Carolyn
1
Terracina, Giorgio
1
Thiemann, Peter
1
Timmis, Jon
1
Tinelli, Cesare
1
Toni, Francesca
1
Torra, Vicenç
1
Truszczyński, Mirosław, 1955-
1
Vardi, Moshe Y., 1954-
1
Villadsen, Jørgen
1
Vovk, Vladimir
1
Waaler, Arild
1
Wadler, Philip, 1956-
1
Wansing, Heinrich
1
Watson, Bruce
1
Weidenbach, Christoph
1
Werner, Benjamin
1
Wiedijk, Freek
1
Wilson, Nic
1
Wirsing, Martin
1
Wobcke, Wayne
1
Woltran, Stefan
1
Wooldridge, Michael J
1
Wunsch, Donald C
1
Yli-Jyrä, Anssi
1
Zeugmann, Thomas
1
Zhang, Lijun
1
Zhang, Mengjie
1
Zhao, Xishun
1
Zhou, Neng-Fa
1
de’Liguoro, Ugo
1
Ågotnes, Thomas
zavřít
×
Načítá se...