Repositorios 16 Revistas 3

Logic Lógica 28 Theory of computation 11 Ciencias Informáticas 4 Coq 4 Proof theory 4 Epistemology 3 Logic and verification 3 Modal logic 3 Modelos 3 Politics 3 Política 3 Teoría de la computación 3 Algoritmo 2 Aprendizaje Profundo 2 Artificial Intelligence 2 Asistente de Prueba 2 Asistentes de prueba 2 Bisimulation 2 Boolean 2 Borel space 2 Buridan 2 Buridán 2 Ciencias sociales 2 Ciências sociais 2 Continuous probabilities 2 Decoherence 2 Deep Learning 2 Diferenciación social 2 Diferenciação social 2