Repositorios 322 Catálogos de Bibliotecas 223 Revistas 7

Ciencias Informáticas 176 LOGIC 106 Formal logic 66 Logic Programming 65 Semantics 51 LOGIC, SYMBOLIC AND MATHEMATICAL 46 Modal logic 41 Logic 39 Lógica 34 PHILOSOPHY 33 Fuzzy logic 31 Computer circuits 28 METHODOLOGY 28 Informática 25 Software engineering 24 Algorithms 21 Logic programming 21 Algebra 20 LÓGICA 20 Specifications 20 Intelligent agents 19 Temporal logic 18 Theory of computation 18 ARTIFICIAL INTELLIGENCE 17 Computational complexity 17 Modal logics 17 Calculations 16 Expressive power 16 KNOWLEDGE, THEORY OF 16 Model checking 16