Search alternatives:
automatic theory » automatic theorem, automation theory, axiomatic theory
languages » language
automata » automated
automatic theory » automatic theorem, automation theory, axiomatic theory
languages » language
automata » automated
Narrow Search
005 - Computer programming, programs & data
164
006 - Special computer methods
141
004 - Data processing & computer science
109
511 - General principles of mathematics
12
025 - Library operations
10
003 - Systems
5
more ...
410 - Linguistics
5
670 - Manufacturing
5
621 - Applied physics
4
518 - Numerical analysis
3
370 - Education
2
512 - Algebra
2
516 - Geometry
2
629 - Other branches of engineering
2
100 - Philosophy & psychology
1
140 - Specific philosophical schools
1
338 - Production
1
400 - Language
1
401 - Philosophy & theory
1
418 - Standard usage & applied linguistics
1
600 - Technology
1
620 - Engineering & allied operations
1
808 - Rhetoric & collections of literature
1
900 - History & geography
1
see all ...
less ...
Margaria, Tiziana
7
Voronkov, Andrei
7
Gelbukh, Alexander
6
Martín-Vide, Carlos
6
Artemov, Sergei
4
Bowen, Jonathan P.
4
more ...
Dediu, Adrian-Horia
4
Métais, Elisabeth
4
Nerode, Anil
4
Steffen, Bernhard
4
Truthe, Bianca
4
Baumgartner, Peter
3
Branco, António
3
Broy, Manfred
3
Cavalcanti, Ana
3
Comon, Hubert
3
Hong, Jia-Fei
3
Kapur, Deepak
3
Konev, Boris
3
Legay, Axel
3
Liu, Shaoying
3
Mamede, Nuno J.
3
Moreira, Nelma
3
Munoz, Rafael
3
Narukawa, Yasuo
3
Perner, Petra
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
Dershowitz, Nachum
2
Dowek, Gilles
2
Duan, Zhenhua
2
Eklund, Peter
2
Etalle, Sandro
2
Frid, Anna
2
Fuchs, Norbert E.
2
Furbach, Ulrich
2
Gnesi, Stefania
2
Graf, Susanne
2
Hanus, Michael
2
Harth, Andreas
2
Hedin, Görel
2
Hähnle, Reiner
2
Jouannaud, Jean-Pierre
2
Kedad, Zoubida
2
Kerber, Manfred
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
Ling, Tok Wang
2
Liu, Zhiming
2
Maler, Oded
2
Martin-Vide, Carlos
2
Mayr, Heinrich C.
2
Merz, Stephan
2
Metais, Elisabeth
2
Meziane, Farid
2
Méry, Dominique
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
Rahonis, George
2
Ratiu, Daniel
2
Rossi, Francesca
2
Rybalchenko, Andrey
2
Rybinski, Henryk
2
Schewe, Klaus-Dieter
2
Shi, Zhongzhi
2
Shur, Arseny M.
2
Silva, Alexandra
2
see all ...
less ...
Search Tools