COMPREHENSIVE SET
Experts
- Yuri Gurevich
- Martin Davis
- Gilles Dowek
- Kris Gaj
- Oron Shagrir
- Álvaro F. Moreira
- Bilal Habib
- Rafael H. Bordini
- Lam Thu Bui
- Tom Caradoc-Davies
- M. Schirn
- Anders Berglund
- Thomas S. Peat
- Emil W. Kiss
- Sachin Grover
- Georg Kreisel
- Reinhard Kahle
- Gert Smolka
- Vincent Fazio
- Janet Newman
- Jan Kihlberg
- Apoorv Agarwal
- Hans-Ingar Johansen Aandahl
- Khurram Karim Qureshi
- Stephen C. Greenhouse
- Hyesoon Kim
- Jin Nakazato
- Olav B. Vassend
- Ittay Nissan-Rozen
- Eythymios Tsatsaris
- Edward J. Park
- Nachum Dershowitz
- Shyue-Ching Lu
- Kathleen Johnson Wu
- Fabio Pasquali
- Jerzy Chrzaszcz
- Si Shen
- Lawrence K. Mackechnie
- Panayiotis Tsaparas
Venues
- IEEE Trans. Inf. Theory
- CoRR
- Synth.
- Comput. Sci. J. Moldova
- Notre Dame J. Formal Log.
- Comput. Humanit.
- Minds Mach.
- J. Philos. Log.
- Stud Logica
- J. Symb. Log.
- CiE
- J. Chem. Inf. Model.
- Electron. Notes Theor. Comput. Sci.
- High Performance Computing Workshop
- Discret. Math.
- Annu. Rev. Control.
- KDD
- IEEE Intell. Informatics Bull.
- Medical Biol. Eng. Comput.
- Adv. Eng. Informatics
- Int. J. Unconv. Comput.
- J. Funct. Program.
- FIE
- IEEE Access
- Reports Math. Log.
- Learn. Publ.
- ARC
- ICSE (SEET)
- Scientometrics
- DFT
- IISA
- AI Commun.
- SEAL
- CCNC
- Nucleic Acids Res.
- ELPUB
- J. Comput. Aided Mol. Des.
- EATIS
- MFCS
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend