Search alternatives:
automation theory » estimation theory, animation theory, automated theory
automatic theory » automatic theorem, axiomatic theory, automated theory
languages » language
automata » automated
automation theory » estimation theory, animation theory, automated theory
automatic theory » automatic theorem, axiomatic theory, automated theory
languages » language
automata » automated
Narrow Search
005 - Computer programming, programs & data
189
006 - Special computer methods
164
004 - Data processing & computer science
130
025 - Library operations
12
511 - General principles of mathematics
12
003 - Systems
9
more ...
621 - Applied physics
6
410 - Linguistics
5
670 - Manufacturing
5
629 - Other branches of engineering
4
512 - Algebra
3
518 - Numerical analysis
3
370 - Education
2
516 - Geometry
2
100 - Philosophy & psychology
1
140 - Specific philosophical schools
1
338 - Production
1
371 - Schools & their activities; special education
1
400 - Language
1
401 - Philosophy & theory
1
418 - Standard usage & applied linguistics
1
500 - Natural sciences & mathematics
1
519 - Probabilities & applied mathematics
1
600 - Technology
1
620 - Engineering & allied operations
1
808 - Rhetoric & collections of literature
1
900 - History & geography
1
see all ...
less ...
Margaria, Tiziana
9
Voronkov, Andrei
7
Gelbukh, Alexander
6
Martín-Vide, Carlos
6
Steffen, Bernhard
6
Artemov, Sergei
4
more ...
Bowen, Jonathan P.
4
Dediu, Adrian-Horia
4
Métais, Elisabeth
4
Nerode, Anil
4
Truthe, Bianca
4
Baumgartner, Peter
3
Branco, António
3
Broy, Manfred
3
Cavalcanti, Ana
3
Comon, Hubert
3
Gnesi, Stefania
3
Hong, Jia-Fei
3
Hähnle, Reiner
3
Kapur, Deepak
3
Kerber, Manfred
3
Konev, Boris
3
Legay, Axel
3
Liu, Shaoying
3
Liu, Zhiming
3
Mamede, Nuno J.
3
Moreira, Nelma
3
Munoz, Rafael
3
Narukawa, Yasuo
3
Perner, Petra
3
Ras, Zbigniew W.
3
Sekerinski, Emil
3
Alur, Rajeev
2
Araki, Keijiro
2
Baptista, Jorge
2
Basin, David
2
Beyer, Dirk
2
Bjørner, Dines
2
Blackburn, Patrick
2
Blazy, Sandrine
2
Brinksma, Ed
2
Brézillon, Patrick
2
Butler, Alastair
2
Butler, Michael
2
Camacho, Rui
2
Cerone, Antonio
2
Corbett, Dan
2
Cori, Robert
2
Davies, Jim
2
Dershowitz, Nachum
2
Dongarra, Jack
2
Dowek, Gilles
2
Duan, Zhenhua
2
Eklund, Peter
2
Engels, Gregor
2
Etalle, Sandro
2
Frid, Anna
2
Fuchs, Norbert E.
2
Fuhr, Norbert
2
Furbach, Ulrich
2
Giunchiglia, Fausto
2
Graf, Susanne
2
Hanus, Michael
2
Harth, Andreas
2
Hedin, Görel
2
Jouannaud, Jean-Pierre
2
Kedad, Zoubida
2
King, Steve
2
Kirrane, Sabrina
2
Kobayashi, Naoki
2
Kop, Christian
2
Kordon, Fabrice
2
Kroening, Daniel
2
Kropf, Thomas
2
Kuchen, Herbert
2
Larsen, Kim G.
2
Leake, David
2
Leino, K. Rustan M.
2
Lin, Fangzhen
2
Ling, Tok Wang
2
Maler, Oded
2
Martin-Vide, Carlos
2
Mayr, Heinrich C.
2
Merz, Stephan
2
Metais, Elisabeth
2
Meyer, Bertrand
2
Meziane, Farid
2
Méry, Dominique
2
Nguyen, Ngoc Thanh
2
Nielsen, Mogens
2
Nipkow, Tobias
2
Oliveira, José N.
2
Palamidessi, Catuscia
2
Paulheim, Heiko
2
Petrosino, Alfredo
2
Pfenning, Frank
2
Pichler, Franz
2
Pottosin, Igor V.
2
Păsăreanu, Corina S.
2
Quaresma, Paulo
2
see all ...
less ...
Search Tools