MATHEMATICAL KNOWLEDGE
Experts
- Michael Kohlhase
- Christoph Benzmüller
- Claudio Sacerdoti Coen
- Gerald L. Alexanderson
- Leonard F. Klosinski
- William M. Farmer
- Mark Krusemeyer
- Lawrence C. Paulson
- Josef Urban
- Robert S. Boyer
- Matthew L. Ginsberg
- Jacques D. Fleuriot
- Jeffry L. Hirst
- Christoph Schwarzweller
- Ferruccio Guidi
- Alan Bundy
- Adam Grabowski
- Nicola Olivetti
- David Delahaye
- Serge Autexier
- Bela Gipp
- Kenneth L. McMillan
- Alexander M. Elizarov
- Moritz Schubotz
- Gian Luca Pozzato
- Volker Sorge
- Peter Koepke
- David A. Plaisted
- Dionysis Zindros
- Yves Ledru
- Andreas Meier
- Klaus Miesenberger
- E. Robert Yoche
- Makarius Wenzel
- Norman Meuschke
- Bernhard Stöger
- Alexander V. Lyaletski
- Daniel Wichs
- Catherine Dubois
Venues
- CoRR
- CADE
- Am. Math. Mon.
- COMPSAC
- IACR Cryptol. ePrint Arch.
- Synth.
- J. Autom. Reason.
- MKM
- Comput. Law Secur. Rev.
- IJCAI
- SIGACT News
- CICM
- TABLEAUX
- COMPSAC (2)
- J. Symb. Log.
- COMPSAC (1)
- IJCAR
- Commun. ACM
- LPAR
- ACL2
- Ann. Math. Artif. Intell.
- TPHOLs
- AAAI
- ECAI
- Electron. Notes Theor. Comput. Sci.
- ACM Comput. Surv.
- J. Formaliz. Reason.
- ICMS
- Nat.
- AISC
- CAV
- COMPSAC Workshops
- ICLS
- Log. J. IGPL
- ICSE
- Math. Comput. Sci.
- SYNASC
- Theor. Comput. Sci.
- Calculemus/MKM
Related Topics
Related Keywords
Popularity