Decision procedures for elementary sublanguages of set theory - XV. Multilevel syllogistic extended by the predicate finite and the operators singleton and pred / Cantone D; Cutello V. - In: JOURNAL OF AUTOMATED REASONING. - ISSN 0168-7433. - 6:2(1990), pp. 189-201.
Titolo: | Decision procedures for elementary sublanguages of set theory - XV. Multilevel syllogistic extended by the predicate finite and the operators singleton and pred |
Autori interni: | |
Data di pubblicazione: | 1990 |
Rivista: | |
Handle: | http://hdl.handle.net/20.500.11769/20116 |
Appare nelle tipologie: | 1.1 Articolo in rivista |
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.