Previous
Next
Journal
- intelligent technologies and applications : first international conference, intap 2018, bahawalpur, pakistan, october 23-25, 2018, revised selected papers73
- computer journal56
- electronic notes in theoretical computer science20
- intelligent computer mathematics : 14th international conference, cicm 2021, timisoara, romania, july 26-31, 2021, proceedings20
- journal of logic, language and information14
- lecture notes in computer science14
- a modern perspective on type theory : from its origins until today11
- thirty five years of automating mathematics11
- entcs: electronic notes in theoretical computer science10