Logica temporal y demostracion automatica de teoremas. eficiencia y paralelismo

Tesis doctoral de Enciso Garcia Oliveros Manuel Este trabajo se enmarca en la demostracion automatica de teoremas en logica modal […]

, , , , ,