Catálogos de Bibliotecas 434 Repositorios 317 Revistas 5

LOGIC 186 Ciencias Informáticas 179 LOGIC, SYMBOLIC AND MATHEMATICAL 96 Formal logic 66 Logic Programming 65 PHILOSOPHY 64 L�OGICA 57 Semantics 51 Logic 47 Modal logic 43 Lógica 41 METHODOLOGY 35 Fuzzy logic 34 Computer circuits 28 MATHEMATICS 27 SCIENCE 27 Informática 25 Software engineering 24 LÓGICA 22 REASONING 22 Algorithms 21 KNOWLEDGE, THEORY OF 21 Logic programming 21 Algebra 20 Specifications 20 Theory of computation 20 Intelligent agents 19 ARTIFICIAL INTELLIGENCE 18 Temporal logic 18 logic 18