Cálculo de deducciones en paralelo en un sistema multiprocesador

Tesis doctoral de Jorge Puente Peinador Los sistemas de deducciones en paralelo basados en lógica de predicados suponen la colaboración […]

, , , , ,