Repositorios 50 Catálogos de Bibliotecas 1

Theory of Computation 31 Theory of computation 31 Ciencias Informáticas 29 ARTIFICIAL INTELLIGENCE 16 Distributed Systems 13 Teoría de la computación 13 Logic 11 Logic and verification 7 Lógica 5 Coq 4 Design and analysis of algorithms 4 Forcing 4 Proof theory 4 Separation logic 4 Software and its engineering 4 Tolerancia a fallas 4 Compilers 3 Distributed systems 3 Languages 3 Modal logic 3 Métodos formales 3 Software verification 3 Verificación de software 3 Verification by model checking 3 Adecuación computacional 2 Algoritmo 2 Algoritmos 2 Análisis de sentimientos 2 Aprendizaje activo 2 Aprendizaje automático 2