Volver a los detalles del artÃculo
A rewriting decision procedure for Dijkstra-Scholten's syllogistic logic with complements
Descargar
Descargar PDF