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ě
79
SpringerLink (online služba)
6
Voronkov, Andrei, 1959-
3
Konev, Boris
2
Armando, Alessandro
2
Baral, Chitta
2
Calude, Cristian, 1952-
2
Fiadeiro, José Luiz, 1961-
2
Muggleton, Stephen
2
Ramon, Jan
2
Ringeissen, Christophe
2
Son, Tran Cao
2
Tamaddoni-Nezhad, Alireza
2
Torroni, Paolo
2
Wolter, Frank
2
Železný, Filip, 1974-
1
Abrial, Jean-Raymond, 1938-
1
Albert, Elvira
1
Altenkirch, Thorsten, 1962-
1
Baader, Franz, 1959-
1
Baaz, Matthias, 1960-
1
Balduccini, Marcello
1
Baumgartner, Peter
1
Beckert, Bernhard
1
Berardi, Stefano
1
Billington, Jonathan
1
Blass, Andreas
1
Blockeel, Hendrik
1
Bolduc, Claude
1
Bouajjani, Ahmed
1
Bozapalidis, Symeon
1
Brewka, Gerhard
1
Broersen, Jan
1
Bruza, Peter
1
Brünnler, Kai
1
Cabalar, Pedro
1
Calimeri, Francesco
1
Callaghan, Paul, 1970 -
1
Cariani, Fabrizio
1
Cerro, Luis Fariñas del
1
Comon, Hubert, 1957-
1
Coppo, Mario, 1947-
1
Coquand, Thierry
1
Corby, Olivier
1
Corne, David
1
Croitoru, Madalina
1
Damiani, Ferruccio
1
Datta, Anupam
1
Davis, Jesse
1
Dawar, Anuj
1
De Nivelle, Hans
1
De Raedt, Luc, 1964-
1
Delgrande, James P.
1
Dershowitz, Nachum
1
Dershowitz, Nachum, 1951-
1
Desharnais, Jules
1
Dinneen, M. J. (Michael J.), 1967-
1
Dovier, Agostino, 1965-
1
Dowek, Gilles
1
Durand-Lose, Jérôme
1
Edelkamp, Stefan, 1969-
1
Eiter, Thomas
1
Elgesem, Dag
1
Erdem, Esra
1
Etalle, Sandro
1
Faber, Wolfgang, 1974-
1
Falaschi, Moreno
1
Fermé, Eduardo
1
Filliâtre, Jean-Christophe
1
Fisher, Michael
1
Fontaine, Pascal
1
Frasconi, Paolo
1
Frisco, Pierluigi
1
Gabbay, Dov M., 1945-
1
Galmiche, Didier
1
Geuvers, Herman, 1964-
1
Giese, Martin
1
Giesl, Jürgen
1
Glesner, Manfred, 1943-
1
Glässer, Uwe, 1959-
1
Godo, Lluís
1
Gramlich, Bernhard
1
Gramlich, Bernhard, -2014
1
Greco, Gianluigi
1
Grossi, Davide
1
Gupta, Aarti
1
Gupta, Gopal, 1963-
1
Hagiya, Masami, 1957-
1
Hartenstein, Reiner W.
1
Hermann, Miki, 1958-
1
Herzig, Andreas
1
Hill, Patricia M
1
Hodges, Wilfrid, 1941-
1
Hoek, Wiebe van der
1
Homer, S. (Steven)
1
Howse, John
1
Hutter, Marcus
1
Hähnle, Reiner, 1962-
1
Ianni, Giovambattista
1
Jensen, Kurt
1
Johnson, Michael
1
Jouannaud, Jean-Pierre, 1947-
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
Koutny, Maciej
1
Kramer, Stefan
1
Kroening, Daniel
1
Ktari, Béchir
1
Larchey-Wendling, Dominique
1
Lavrač, Nada, 1953-
1
Lawless, William
1
Lecroq, Thierry, 1965-
1
Leite, João
1
Leite, João, 1970-
1
Leone, Nicola
1
Lin, Fangzhen
1
Lisi, Francesca A
1
Lisitsa, Alexei
1
Lomuscio, Alessio
1
Lutz, Carsten
1
Maldonado, José Carlos
1
Maler, Oded
1
Malik, Sharad
1
Maneth, Sebastian
1
Marché, Claude
1
Margenstern, Maurice
1
Martini, Simone, 1959-
1
McBride, Conor
1
Meheus, Joke
1
Mengin, Jérôme
1
Metcalfe, George
1
Meyden, Ron van der
1
Meyer, Bertrand
1
Miguel, Ian
1
Morita, Kenichi
1
Mosses, Peter D., 1948-
1
Mouchard, Laurent
1
Muggleton, Stephen H
1
Nordio, Martin
1
Ohlbach, Hans Jürgen
1
Olivetti, Nicola, 1963-
1
Orejas, Fernando, 1952-
1
Otero, Ramon
1
Paes, Aline
1
Parent, Xavier
1
Paulin-Mohring, Christine, 1962-
1
Petrenko, Alexandre
1
Peña, Ricardo, 1950-
1
Pfahringer, Bernhard
1
Plasmeijer, Rinus
1
Pontelli, Enrico, 1967-
1
Puebla, Germán
1
Pugliese, Andrea
1
Păsăreanu, Corina S.
1
Păun, Gheorghe
1
Queiroz, Ruy J. G. B. de
1
Rahonis, George
1
Ranise, Silvio
1
Reisig, Wolfgang
1
Riguzzi, Fabrizio
1
Rijsbergen, Keith van
1
Rozenberg, Grzegorz
1
Rozenberg, Grzegorz, 1942-
1
Rudolph, Sebastian
1
Ruml, Wheeler
1
Salomaa, Arto
1
Santos Costa, Vítor
1
Schaub, Torsten
1
Schlipf, John
1
Schmid, Ute
1
Schmidt, Renate A
1
Schobbens, Pierre-Yves, 1961-
1
Shavlik, Jude
1
Simão, Adenilso
1
Smaus, Jan-Georg
1
Sofge, Donald
1
Sofronie-Stokkermans, Viorica
1
Steels, Luc
1
Stephan, Frank
1
Strass, Hannes
1
Strichman, Ofer
1
Sutcliffe, Geoff, 1961-
1
Szeider, Stefan
1
Tadepalli, Prasad
1
Terracina, Giorgio
1
Timmis, Jon
1
Tinelli, Cesare
1
Toni, Francesca
1
Treinen, Ralf
1
Truszczyński, Mirosław
1
Truszczyński, Mirosław, 1955-
1
Vajnovszki, Vincent
1
Vardi, Moshe Y., 1954-
1
Veith, Helmut
1
Vene, Varmo
1
Vidal, Germán
1
Vovk, Vladimir
1
Waaler, Arild
1
Werner, Benjamin
1
Wiedijk, Freek, 1961-
1
Wilson, Nic
1
Woltran, Stefan
1
Zaverucha, Gerson
1
Zeugmann, Thomas
1
Zhao, Xishun
1
Ågotnes, Thomas
zavřít
×
Načítá se...