AUTOMATIC THEOREM PROVING
Experts
- Olaf Beyersdorff
- Dominique Pastre
- Natasha Sharygina
- Jeffrey O. Shallit
- Dane Henshall
- Leroy Chew
- Roberto Bruttomesso
- Daniel Goc
- David J. Pym
- James R. Slagle
- Eike Ritter
- Aliaksei Tsitovich
- David Andrews
- Simone Fulvio Rollini
- Tim Hansmeier
- Dimitri Hendriks
- Peng Fu
- Ekaterina Komendantskaya
- Marco Platzner
- Hans de Nivelle
- Raymond Reiter
- Lincoln A. Wallen
- Robert F. Stärk
- Erfan Khaniki
- Andrew Pond
- Marc Bezem
- Tom Schrijvers
- Mikolás Janota
- Lawrence J. Henschen
- Paolo Camurati
- Stanislav N. Vassilyev
- Evgeny A. Cherkashin
- Peter Schneider-Kamp
- Byron Cook
- Andreas Dolzmann
- José de Jesús Lavalle-Martínez
- Pavel Salimov
- Iván Martínez Ruiz
- Stefan Szeider
Venues
- Artif. Intell.
- CoRR
- J. Autom. Reason.
- IEEE Trans. Computers
- CADE
- Electron. Colloquium Comput. Complex.
- J. ACM
- Int. J. Found. Comput. Sci.
- Automated Deduction in Geometry
- IJCAR
- J. Log. Comput.
- SAT
- IJCAI
- SWAT
- ACM Trans. Comput. Log.
- AAAI/IAAI
- Formal Methods Syst. Des.
- RTA
- SNPD (3)
- ISSAC
- SMC
- Computación y Sistemas
- Logic Programming Summer School
- Computation, Physics and Beyond
- GWAI
- MICAI (Special Sessions)
- CSL
- STACS
- ACM Annual Conference (1)
- AISB/GI (ECAI)
- INCoS
- Inf. Process. Lett.
- CAV
- ICCSA (2)
- Reports Math. Log.
- LPAR (Dakar)
- Haifa Verification Conference
- FLOPS
- J. Signal Process. Syst.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend