Vista de A rewriting decision procedure for Dijkstra-Scholten's syllogistic logic with complements

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