AUTOMATIC THEOREM PROVING
Experts
- Dominique Pastre
- Olaf Beyersdorff
- Jeffrey O. Shallit
- Roberto Bruttomesso
- Dane Henshall
- Leroy Chew
- Natasha Sharygina
- Daniel Goc
- Eike Ritter
- Tim Hansmeier
- Hans de Nivelle
- Andrew Pond
- Ekaterina Komendantskaya
- Marc Bezem
- Aliaksei Tsitovich
- Erfan Khaniki
- Lincoln A. Wallen
- James R. Slagle
- Robert F. Stärk
- David J. Pym
- Marco Platzner
- David Andrews
- Lawrence J. Henschen
- Peng Fu
- Tom Schrijvers
- Simone Fulvio Rollini
- Mikolás Janota
- Dimitri Hendriks
- Raymond Reiter
- Mordechai Ben-Ari
- P. Baracos
- João Marques-Silva
- Lawrence C. Paulson
- David A. Plaisted
- Eugenio Roanes-Macías
- François Clément
- William H. Joyner Jr.
- Didier Bondyfalat
- Pavel Salimov
Venues
- CoRR
- Artif. Intell.
- CADE
- IEEE Trans. Computers
- J. Autom. Reason.
- Electron. Colloquium Comput. Complex.
- J. ACM
- Int. J. Found. Comput. Sci.
- Automated Deduction in Geometry
- IJCAR
- IJCAI
- SAT
- J. Log. Comput.
- CSL
- SMC
- AAAI/IAAI
- Formal Methods Syst. Des.
- STACS
- ARC
- ACM Trans. Comput. Theory
- ECAI
- INCoS
- J. Signal Process. Syst.
- SIGACT News
- FLOPS
- SNPD (3)
- ACM Trans. Comput. Log.
- ACM Annual Conference (1)
- Inf. Process. Lett.
- Logic Programming Summer School
- Haifa Verification Conference
- Reports Math. Log.
- CAV
- CIAA
- SWAT
- Computation, Physics and Beyond
- LPAR (Dakar)
- GWAI
- ICCSA (2)
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend