AUTOMATIC THEOREM PROVING
Experts
- Olaf Beyersdorff
- Dominique Pastre
- Daniel Goc
- Roberto Bruttomesso
- Jeffrey O. Shallit
- Leroy Chew
- Dane Henshall
- Natasha Sharygina
- Erfan Khaniki
- Robert F. Stärk
- Simone Fulvio Rollini
- Marco Platzner
- David J. Pym
- Mikolás Janota
- Eike Ritter
- Tim Hansmeier
- James R. Slagle
- David Andrews
- Raymond Reiter
- Aliaksei Tsitovich
- Marc Bezem
- Dimitri Hendriks
- Andrew Pond
- Peng Fu
- Tom Schrijvers
- Hans de Nivelle
- Lawrence J. Henschen
- Ekaterina Komendantskaya
- Lincoln A. Wallen
- Jürgen Stuber
- Paolo Prinetto
- Héctor Jiménez-Salazar
- Bruno Woltzenlogel Paleo
- Allen Van Gelder
- David A. Plaisted
- Eugenio Roanes-Lozano
- Leo Bachmair
- Micaela Mayero
- Bernard Mourrain
Venues
- CoRR
- Artif. Intell.
- J. Autom. Reason.
- IEEE Trans. Computers
- CADE
- Electron. Colloquium Comput. Complex.
- J. ACM
- Automated Deduction in Geometry
- IJCAR
- SAT
- Int. J. Found. Comput. Sci.
- IJCAI
- J. Log. Comput.
- Microprocessing and Microprogramming
- SWAT
- Logic Programming Summer School
- ISSAC
- SMC
- ARC
- LPAR (Dakar)
- STACS
- ACM Annual Conference (1)
- CIAA
- INCoS
- AISB/GI (ECAI)
- CSL
- RTA
- Reports Math. Log.
- Haifa Verification Conference
- Formal Methods Syst. Des.
- MICAI (Special Sessions)
- AAAI/IAAI
- SNPD (3)
- GWAI
- CAV
- FLOPS
- ACM Trans. Comput. Theory
- J. Signal Process. Syst.
- ICCSA (2)
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend