Search alternatives:
automation theory » automata theory, estimation theory, animation theory
automatic theory » automatic theorem, automata theory, automated theory
languages » language
axiomatic » aromatic
automation theory » automata theory, estimation theory, animation theory
automatic theory » automatic theorem, automata theory, automated theory
languages » language
axiomatic » aromatic
Narrow Search
006 - Special computer methods
95
005 - Computer programming, programs & data
91
004 - Data processing & computer science
61
511 - General principles of mathematics
11
025 - Library operations
8
003 - Systems
6
more ...
629 - Other branches of engineering
4
670 - Manufacturing
4
621 - Applied physics
3
516 - Geometry
2
100 - Philosophy & psychology
1
371 - Schools & their activities; special education
1
410 - Linguistics
1
418 - Standard usage & applied linguistics
1
500 - Natural sciences & mathematics
1
510 - Mathematics
1
512 - Algebra
1
519 - Probabilities & applied mathematics
1
see all ...
less ...
Voronkov, Andrei
7
Nerode, Anil
6
Artemov, Sergei
5
Margaria, Tiziana
5
Baumgartner, Peter
3
Konev, Boris
3
more ...
Perner, Petra
3
Ras, Zbigniew W.
3
Steffen, Bernhard
3
Basin, David
2
Comon, Hubert
2
Dowek, Gilles
2
Finkel, Alain
2
Fuhr, Norbert
2
Furbach, Ulrich
2
Giunchiglia, Fausto
2
Harth, Andreas
2
Hermanns, Holger
2
Hähnle, Reiner
2
Kapur, Deepak
2
Kerber, Manfred
2
Kirrane, Sabrina
2
Kroening, Daniel
2
Larsen, Kim G.
2
Leake, David
2
Legay, Axel
2
Leino, K. Rustan M.
2
Maler, Oded
2
Métais, Elisabeth
2
Nipkow, Tobias
2
Nivat, Maurice
2
Paulheim, Heiko
2
Pfenning, Frank
2
Păsăreanu, Corina S.
2
Schewe, Klaus-Dieter
2
Shi, Zhongzhi
2
Silva, Alexandra
2
Sutcliffe, Geoff
2
Wagner, Roland
2
Wang, Dongming
2
Wirsing, Martin
2
Zemankova, Maria
2
Acosta, Maribel
1
Agah, Arvin
1
Alagar, V.S.
1
Albornoz, Alvaro de
1
Alferes, Jose, Julio
1
Ali, Moonis
1
Alkhalaf, Muath
1
Alloum, Amira
1
Alonso, Omar
1
Alur, Rajeev
1
Alves-Foss, James
1
Amin, Adnan
1
Andersen, Kim V.
1
Anderson, Michael
1
Andersson, Birger
1
Aoki, Toshiaki
1
Apolloni, Bruno
1
Armando, Alessandro
1
Astesiano, Egidio
1
Autexier, Serge
1
Aydin, Abdulbaki
1
Baader, Franz
1
Bae, Kyungmin
1
Baier, Christel
1
Banach, Richard
1
Banda, Maria Garcia
1
Baresi, Luciano
1
Bartolini, Claudio
1
Basili, Roberto
1
Battistutti, Osvaldo C.
1
Baumgarten, Bernd
1
Beckert, Bernhard
1
Benatallah, Boualem
1
Benjamins, V. Richard
1
Berardi, Stefano
1
Berghammer, Rudolf
1
Bergholtz, Maria
1
Berns, Karsten
1
Berry, Gerard
1
Berthé, Valérie
1
Bi, Yaxin
1
Bidoit, Michel
1
Bieger, Jordi
1
Biere, Armin
1
Biondi, Fabrizio
1
Biro, Miklos
1
Blackburn, Patrick
1
Blazy, Sandrine
1
Bloem, Roderick
1
Bolc, Leonard
1
Bomarius, Frank
1
Borowik, Piotr
1
Botana, Francisco
1
Bouajjani, Ahmed
1
Bouzeghoub, Mokrane
1
Bowen, Jonathan P.
1
Brady, Michael
1
Brahim, Chaib-draa
1
see all ...
less ...
Search Tools