MATHEMATICAL KNOWLEDGE
Experts
- Michael Kohlhase
- Christoph Benzmüller
- Claudio Sacerdoti Coen
- Gerald L. Alexanderson
- Mark Krusemeyer
- William M. Farmer
- Leonard F. Klosinski
- Lawrence C. Paulson
- Robert S. Boyer
- Josef Urban
- Ferruccio Guidi
- Jacques D. Fleuriot
- Nicola Olivetti
- Jeffry L. Hirst
- Christoph Schwarzweller
- Alan Bundy
- Matthew L. Ginsberg
- David Delahaye
- Adam Grabowski
- Jörg Denzinger
- Gem Stapleton
- Cezary Kaliszyk
- Yves Ledru
- Mateja Jamnik
- Dominique Pastre
- Volker Sorge
- Tobias Nipkow
- Edmund M. Clarke
- Makarius Wenzel
- Gian Luca Pozzato
- Moritz Schubotz
- Alexander M. Elizarov
- Enrico Tassi
- David A. Plaisted
- Konstantin Korovin
- Serge Autexier
- Hans-Jörg Schurr
- Catherine Dubois
- Giles Reger
Venues
- CoRR
- CADE
- Am. Math. Mon.
- COMPSAC
- IACR Cryptol. ePrint Arch.
- Synth.
- J. Autom. Reason.
- MKM
- Comput. Law Secur. Rev.
- IJCAI
- CICM
- SIGACT News
- TABLEAUX
- COMPSAC (2)
- LPAR
- COMPSAC (1)
- IJCAR
- J. Symb. Log.
- Commun. ACM
- AAAI
- TPHOLs
- Ann. Math. Artif. Intell.
- ACL2
- CAV
- Nat.
- ACM Comput. Surv.
- AISC
- ICMS
- J. Formaliz. Reason.
- Electron. Notes Theor. Comput. Sci.
- COMPSAC Workshops
- ECAI
- Ann. Pure Appl. Log.
- Discret. Math.
- J. Chem. Inf. Comput. Sci.
- Math. Comput. Sci.
- ICSE
- Stud Logica
- Bull. Symb. Log.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend