AUTOMATIC THEOREM PROVING
Experts
- Dominique Pastre
- Olaf Beyersdorff
- Daniel Goc
- Dane Henshall
- Leroy Chew
- Roberto Bruttomesso
- Jeffrey O. Shallit
- Natasha Sharygina
- Ekaterina Komendantskaya
- Aliaksei Tsitovich
- Lincoln A. Wallen
- Tim Hansmeier
- Dimitri Hendriks
- David J. Pym
- Marco Platzner
- Peng Fu
- Andrew Pond
- Erfan Khaniki
- James R. Slagle
- Lawrence J. Henschen
- Robert F. Stärk
- Marc Bezem
- Mikolás Janota
- David Andrews
- Simone Fulvio Rollini
- Tom Schrijvers
- Eike Ritter
- Raymond Reiter
- Hans de Nivelle
- Michel Rigo
- Walter G. Olthoff
- Stefano Cavagnetto
- Angi Voß
- José Ramón Enrique Arrazola-Ramírez
- James J. Lu
- Hector Zenil
- Chin-Liang Chang
- Vadim V. Anshelevich
- Robert D. Hudson
Venues
- CoRR
- Artif. Intell.
- J. Autom. Reason.
- IEEE Trans. Computers
- CADE
- J. ACM
- Electron. Colloquium Comput. Complex.
- IJCAR
- SAT
- Automated Deduction in Geometry
- Int. J. Found. Comput. Sci.
- IJCAI
- J. Log. Comput.
- ICCSA (2)
- GWAI
- SWAT
- AISB/GI (ECAI)
- SMC
- CSL
- CIAA
- LPAR (Dakar)
- Inf. Process. Lett.
- STACS
- INCoS
- ACM Trans. Comput. Log.
- Formal Methods Syst. Des.
- SNPD (3)
- SIGACT News
- ARC
- ACM Annual Conference (1)
- ISSAC
- Computation, Physics and Beyond
- ACM Trans. Comput. Theory
- ECAI
- MICAI (Special Sessions)
- AAAI/IAAI
- CAV
- Haifa Verification Conference
- Reports Math. Log.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend