Sfoglia per Autore
Automated deduction in Topology: two different approaches
file da validare1988-01-01 Cutello, Vincenzo
Decidability results for classes of purely universal formulae and quantifiers elimination in set theory.
file da validare1988-01-01 Cantone, Domenico; Cutello, Vincenzo; Policriti, A.
Decision procedures for elementary sublanguages of set theory. XIV. Three languages involving rank related constructs
file da validare1989-01-01 Cantone, Domenico; Cutello, Vincenzo; Ferro, A.
Decision procedures for elementary sublanguages of set theory - XV. Multilevel syllogistic extended by the predicate finite and the operators singleton and pred
file da validare1990-01-01 Cantone, Domenico; Cutello, Vincenzo
A decidable fragment of the elementary theory of relations and some applications
file da validare1990-01-01 Cantone, Domenico; Cutello, Vincenzo
Set-theoretic reductions of Hilbert's tenth problem
file da validare1990-01-01 Cantone, Domenico; Cutello, Vincenzo; Policriti, A.
ON THE COMPLEXITY OF THE SATISFIABILITY PROBLEM FOR AN UNQUANTIFIED THEORY INVOLVING BASIC NOTIONS OF REAL PLANE TOPOLOGY
file da validare1990-01-01 Cutello, Vincenzo; Policriti, A.
Decision problems for Tarski’s and Presburger’s arithmetics extended with sets.
file da validare1991-01-01 Cantone, Domenico; Cutello, Vincenzo; Schwartz, Jt
Decision procedures for stratified set-theoretic syllogistics
file da validare1993-01-01 Cantone, Domenico; Cutello, Vincenzo
An axiomatic approach to fuzzy rationality
file da validare1993-01-01 Cutello, Vincenzo; Montero, J.
Learning membership functions
file da validare1993-01-01 Bergadano, F; Cutello, Vincenzo
A CHARACTERIZATION OF RATIONAL AMALGAMATION OPERATIONS
file da validare1993-01-01 Cutello, Vincenzo; Montero, J.
HIERARCHIES OF AGGREGATION OPERATORS
file da validare1994-01-01 Cutello, Vincenzo; Montero, J.
HIERARCHIES OF INTENSITY PREFERENCE AGGREGATIONS
file da validare1994-01-01 Cutello, Vincenzo; Montero, J.
FUZZY RATIONALITY MEASURES
file da validare1994-01-01 Cutello, Vincenzo; Montero, J.
Recursive families of OWA operators
file da validare1994-01-01 Cutello, Vincenzo; Montero, J.
Decision algorithms for elementary topology. I. Topological syllogistic with set and map constructs, connectedness and cardinality comparison
file da validare1994-01-01 Cantone, Domenico; Cutello, Vincenzo
Reliability structure functions based upon fuzzy numbers
file da validare1994-01-01 Cutello, Vincenzo; Montero, J.
Information Aggregation: Ethical and Computational Issues
file da validare1995-01-01 Cutello, Vincenzo; Montero, J.
PROBABLY APPROXIMATELY CORRECT LEARNING IN FUZZY CLASSIFICATION SYSTEMS
file da validare1995-01-01 Bergadano, F; Cutello, Vincenzo
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile