Opening book details…
Can I read The automation of syllogistic I. Syllogistic normal forms on EtoBox?
The automation of syllogistic I. Syllogistic normal forms by Domenico Cantone; Susanna Ghelfo; Eugenio Omodeo is a Computer Science article available to read on EtoBox.
What is The automation of syllogistic I. Syllogistic normal forms about?
Boole first put forth the problem of Logical Science in its complete generality: Given certain logical premisses or conditions, to determine the description of any class of objects under those conditions." (W. S. Jevons, 1870) ## 1. Introduction In recent years, various portions of set theory have been proved decidable (
Who reads The automation of syllogistic I. Syllogistic normal forms?
It is typically read by researchers, students, and practitioners in Computer Science.
- Author
- Domenico Cantone; Susanna Ghelfo; Eugenio Omodeo
- Publisher
- Elsevier Science; Elsevier ; Elsevier Inc.; Elsevier BV (ISSN 0747-7171)
- Published
- 1988
- Language
- EN
- Field
- Computer Science (Physical Sciences)
More by Domenico Cantone; Susanna Ghelfo; Eugenio Omodeo
Browse all works by Domenico Cantone; Susanna Ghelfo; Eugenio Omodeo