Catálogos de Bibliotecas 2 Repositorios 1

ALLOY CALCULUS 3 ANALISIS DE ESPECIFICACIONES DE SOFTWARE 3 AUTOMATED REASONING 3 CALCULO PARA ALLOY 3 COINDUCTIVE MODELS 3 DECISION METHODS 3 DEMOSTRACION AUTOMATICA 3 DEMOSTRACION DE TEOREMAS INTERACTIVA 3 DIRECT RESOLUTION 3 EXTRACTABILIDAD DE MODALIDADES 3 EXTRACTABILITY OF MODALITIES 3 FIRST-ORDER TRANSLATIONS 3 FORMAS NORMALES 3 HYBRID LOGICS 3 INTERACTIVE THEOREM PROVING 3 LOGICAS HIBRIDAS 3 METODOS DE DECISION 3 MODELOS COINDUCTIVOS 3 NORMAL FORMS 3 PVS 3 RESOLUCION DIRECTA 3 SAT-SOLVING 3 SPECIFICATION ANALYSIS 3 TRADUCCIONES A PRIMER ORDEN 3 DEMOSTRACIÓN, TEORÍA DE LA 1 Demonstrating value 1 Demostración de valor 1 ESTADÍSTICA MATEMÁTICA 1 Evaluación 1 Evaluación de orientadores 1