Type: Article
Publication Date: 1989-12-01
Citations: 7
DOI: https://doi.org/10.1002/cpa.3160420809
Action | Title | Year | Authors |
---|---|---|---|
+ | Decision procedures for stratified set-theoretic syllogistics | 1993 |
Domenico Cantone Vincenzo Cutello |
Action | Title | Year | Authors |
---|