COMPREHENSIVE SET
Experts
- Yuri Gurevich
- Martin Davis
- Rafael H. Bordini
- Gilles Dowek
- Bilal Habib
- Álvaro F. Moreira
- Oron Shagrir
- Kris Gaj
- Jaewoong Sim
- Evangelos Sakkopoulos
- Itamar Pitowsky
- Manuel Silva
- Marko S. Andjelkovic
- Chris Ranalli
- Tom Caradoc-Davies
- Antonella Bristot
- Péter Pröhle
- Ivan Kadar
- Judy Qiu
- Magnus Musngi
- Jill Burstein
- Selmer Bringsjord
- Dmitrij V. Koznov
- Omar Aziz
- Ramón Casares
- Christos Georgakidis
- Kazuki Maruta
- Mario Radovan
- Ana Azevedo
- M. Nemeshev
- Patrick Münster
- Ming Chang
- Manabu Tsukada
- Li Jiang
- Asad Muhammad Butt
- Eckhard Kraft
- Kabuto Arai
- Serghei Verlan
- Milos Krstic
Venues
- IEEE Trans. Inf. Theory
- CoRR
- Synth.
- Comput. Sci. J. Moldova
- Notre Dame J. Formal Log.
- J. Philos. Log.
- Comput. Humanit.
- Minds Mach.
- Stud Logica
- CiE
- J. Symb. Log.
- J. Chem. Inf. Model.
- ECIL
- Comput. Geosci.
- ELPUB
- DELFI
- J. Comput. Aided Mol. Des.
- IEEE Access
- Medical Biol. Eng. Comput.
- MSV/AMCS
- J. Funct. Program.
- Biomed. Signal Process. Control.
- EATIS
- Rev. Symb. Log.
- CLEI
- Discret. Math.
- XRDS
- Adv. Eng. Informatics
- Electron. Notes Theor. Comput. Sci.
- MFCS
- Learn. Publ.
- Log. Methods Comput. Sci.
- KMIS
- Bull. EATCS
- Nat. Lang. Eng.
- KDD
- ICSE (SEET)
- CLIMA
- Int. J. Unconv. Comput.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend