AUTOMATIC THEOREM PROVING
Experts
- Olaf Beyersdorff
- Dominique Pastre
- Leroy Chew
- Roberto Bruttomesso
- Daniel Goc
- Jeffrey O. Shallit
- Natasha Sharygina
- Dane Henshall
- Dimitri Hendriks
- Eike Ritter
- David J. Pym
- Mikolás Janota
- Erfan Khaniki
- Robert F. Stärk
- Simone Fulvio Rollini
- Marco Platzner
- Peng Fu
- Lawrence J. Henschen
- Ekaterina Komendantskaya
- Lincoln A. Wallen
- Tom Schrijvers
- Hans de Nivelle
- David Andrews
- Aliaksei Tsitovich
- Raymond Reiter
- Tim Hansmeier
- James R. Slagle
- Andrew Pond
- Marc Bezem
- Shuaiqiang Wang
- Walter G. Olthoff
- Robert D. Hudson
- W. W. Bledsoe
- Tiziana Margaria
- Newton C. A. da Costa
- J. van Vaalen
- Stephen A. Cook
- Andreas Dolzmann
- Luís Cruz-Filipe
Venues
- CoRR
- Artif. Intell.
- J. Autom. Reason.
- IEEE Trans. Computers
- CADE
- Electron. Colloquium Comput. Complex.
- J. ACM
- IJCAI
- IJCAR
- SAT
- J. Log. Comput.
- Automated Deduction in Geometry
- Int. J. Found. Comput. Sci.
- SNPD (3)
- CIAA
- FLOPS
- CSL
- INCoS
- MICAI (Special Sessions)
- RTA
- LPAR (Dakar)
- STACS
- AISB/GI (ECAI)
- Inf. Process. Lett.
- ECAI
- ACM Trans. Comput. Log.
- Logic Programming Summer School
- ISSAC
- SMC
- ARC
- ACM Annual Conference (1)
- SWAT
- Computación y Sistemas
- Computation, Physics and Beyond
- Microprocessing and Microprogramming
- SIGACT News
- TACAS (1)
- ACM Trans. Comput. Theory
- CAV
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend