AUTOMATIC THEOREM PROVING
Experts
- Olaf Beyersdorff
- Dominique Pastre
- Natasha Sharygina
- Daniel Goc
- Jeffrey O. Shallit
- Roberto Bruttomesso
- Dane Henshall
- Leroy Chew
- Lincoln A. Wallen
- James R. Slagle
- Robert F. Stärk
- David J. Pym
- Marco Platzner
- David Andrews
- Peng Fu
- Lawrence J. Henschen
- Tom Schrijvers
- Mikolás Janota
- Simone Fulvio Rollini
- Dimitri Hendriks
- Raymond Reiter
- Eike Ritter
- Tim Hansmeier
- Hans de Nivelle
- Ekaterina Komendantskaya
- Erfan Khaniki
- Andrew Pond
- Aliaksei Tsitovich
- Marc Bezem
- Jia Meng
- Thomas Sturm
- Frank M. Brown
- Guillaume Melquiond
- Witold S. Wojciechowski
- Paolo Camurati
- José de Jesús Lavalle-Martínez
- Iván Martínez Ruiz
- Peter Baumgartner
- Marie-Françoise Roy
Venues
- CoRR
- Artif. Intell.
- IEEE Trans. Computers
- CADE
- J. Autom. Reason.
- Electron. Colloquium Comput. Complex.
- J. ACM
- IJCAI
- Int. J. Found. Comput. Sci.
- SAT
- J. Log. Comput.
- Automated Deduction in Geometry
- IJCAR
- CIAA
- SWAT
- SIGACT News
- AISB/GI (ECAI)
- SNPD (3)
- FLOPS
- ACM Trans. Comput. Log.
- ACM Annual Conference (1)
- CSL
- Formal Methods Syst. Des.
- AAAI/IAAI
- SMC
- STACS
- ARC
- INCoS
- J. Signal Process. Syst.
- ACM Trans. Comput. Theory
- GWAI
- ICCSA (2)
- LPAR (Dakar)
- MICAI (Special Sessions)
- ISSAC
- TACAS (1)
- Computación y Sistemas
- ECAI
- RTA
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend