AUTOMATIC THEOREM PROVING
Experts
- Olaf Beyersdorff
- Dominique Pastre
- Roberto Bruttomesso
- Jeffrey O. Shallit
- Leroy Chew
- Daniel Goc
- Dane Henshall
- Natasha Sharygina
- Raymond Reiter
- Peng Fu
- Ekaterina Komendantskaya
- Hans de Nivelle
- Simone Fulvio Rollini
- Lawrence J. Henschen
- Dimitri Hendriks
- James R. Slagle
- Eike Ritter
- Mikolás Janota
- Marc Bezem
- David J. Pym
- Erfan Khaniki
- Andrew Pond
- Tom Schrijvers
- Tim Hansmeier
- Robert F. Stärk
- Marco Platzner
- Aliaksei Tsitovich
- David Andrews
- Lincoln A. Wallen
- Jiancheng Wan
- Jia Meng
- Iván Martínez Ruiz
- Mordechai Ben-Ari
- Tomás Peitl
- Luis Villaseñor Pineda
- Robert D. Hudson
- Pierre Weis
- Chin-Liang Chang
- Jean Mainguené
Venues
- CoRR
- Artif. Intell.
- IEEE Trans. Computers
- J. Autom. Reason.
- CADE
- Electron. Colloquium Comput. Complex.
- J. ACM
- J. Log. Comput.
- IJCAI
- Int. J. Found. Comput. Sci.
- IJCAR
- SAT
- Automated Deduction in Geometry
- Formal Methods Syst. Des.
- AAAI/IAAI
- CSL
- Haifa Verification Conference
- J. Signal Process. Syst.
- GWAI
- FLOPS
- Inf. Process. Lett.
- CAV
- TACAS (1)
- Microprocessing and Microprogramming
- LPAR (Dakar)
- RTA
- Logic Programming Summer School
- STACS
- MICAI (Special Sessions)
- ARC
- SNPD (3)
- Computation, Physics and Beyond
- SIGACT News
- ECAI
- ACM Trans. Comput. Log.
- ACM Trans. Comput. Theory
- Computación y Sistemas
- ISSAC
- ACM Annual Conference (1)
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.