Search alternatives:
automatic theorem » automated theorem, automata theory
automation theory » automata theory, estimation theory, animation theory
languages » language
automatic theorem » automated theorem, automata theory
automation theory » automata theory, estimation theory, animation theory
languages » language
Narrow Search
Voronkov, Andrei
6
Artemov, Sergei
4
Nerode, Anil
4
Basin, David
2
Baumgartner, Peter
2
Dowek, Gilles
2
more ...
Giunchiglia, Fausto
2
Kapur, Deepak
2
Kerber, Manfred
2
Konev, Boris
2
Nipkow, Tobias
2
Pfenning, Frank
2
Sutcliffe, Geoff
2
Wang, Dongming
2
Alferes, Jose, Julio
1
Alur, Rajeev
1
Alves-Foss, James
1
Aoki, Toshiaki
1
Armando, Alessandro
1
Autexier, Serge
1
Baader, Franz
1
Banda, Maria Garcia
1
Basili, Roberto
1
Beckert, Bernhard
1
Berghammer, Rudolf
1
Berry, Gerard
1
Bidoit, Michel
1
Biere, Armin
1
Biondi, Fabrizio
1
Blackburn, Patrick
1
Blazy, Sandrine
1
Bloem, Roderick
1
Botana, Francisco
1
Bowen, Jonathan P.
1
Brandt, Jens
1
Brinksma, Ed
1
Bundy, Alan
1
Camilleri, Albert
1
Campbell, John
1
Carvalho, Ariadne
1
Cialdea Mayer, Marta
1
Cohen, Ernie
1
Comon, Hubert
1
Cori, Robert
1
Courcoubetis, Costas
1
Dahl, Veronica
1
Dauchet, Max
1
Davenport, James H.
1
Demri, Stéphane
1
Dershowitz, Nachum
1
Eijck, Jan van
1
Finkel, Alain
1
Fisher, Michael
1
Fontaine, Pascal
1
Furbach, Ulrich
1
Ganzinger, Harald
1
Gao, Xiao-lu
1
Gaudel, Marie-Claude
1
Ghidini, Chiara
1
Given-Wilson, Thomas
1
Gupta, Aarti
1
Halbwachs, Nicolas
1
Henzinger, Thomas
1
Hermann, Miki
1
Hinchey, Mike
1
Holte, Robert C.
1
Hsiang, Jieh
1
Hu, Alan J.
1
Hähnle, Reiner
1
Jensen, Kurt
1
Kauers, Manuel
1
Kim, Myung-Soo
1
Koenig, Sven
1
Komorowski, Jan
1
Kosala, Raymond
1
Lang, Jérôme
1
Larsen, Kim G.
1
Legay, Axel
1
Leite, Joao
1
Lin, Fangzhen
1
Lisitsa, Alexei
1
Lloyd, John
1
Loeckx, J.
1
Loveland, D. W.
1
Lusk, Ewing
1
Malik, Sharad
1
McAllester, David
1
McCune, William
1
Meyer, Bertrand
1
Miner, Robert
1
Miola, Alfonso
1
Misra, Jayadev
1
Mizoguchi, Riichiro
1
Möller, Bernhard
1
Nguyen, Ngoc Thanh
1
Ohlebusch, Enno
1
Olderog, Ernst-Rüdiger
1
Oostrom, Vincent van
1
Overbeek, Ross
1
Parigot, Michel
1
see all ...
less ...
Search Tools