Sfoglia per Autore
Taxonomic Reasoning
1986-01-01 Attardi, Giuseppe; Corradini, Andrea; Diomedi, S.; Simi, Maria
A Description Oriented Logic for Building Knowledge Bases
1986-01-01 Attardi, Giuseppe; Simi, Maria
Reflections about reflection
1991-01-01 Attardi, Giuseppe; Simi, Maria
Embeddable Common Lisp
1994-01-01 Attardi, Giuseppe
Building Proofs in Context
1994-01-01 Attardi, Giuseppe; Simi, Maria
Proofs in context
1994-01-01 Attardi, Giuseppe; Simi, Maria
Formalization of viewpoints
1995-01-01 Attardi, Giuseppe; Simi, Maria
Multilanguage interoperability
1996-01-01 Attardi, Giuseppe; Gaspari, M.
Web Host Enumeration Through DNS
1997-01-01 Attardi, Giuseppe; Dato, D.; Gullì, A.
Building a Configuration Assistant on the Web
1997-01-01 Cisternino, Antonio; Attardi, Giuseppe; Simi, Maria
CompAss: a system for plans of study compilation
1997-01-01 Attardi, Giuseppe; Cisternino, Antonio; Simi, Maria
A customisable memory management framework for C++
1998-01-01 Attardi, Giuseppe; Flagella, T.; Iglio, P.
Categorization by context
1998-01-01 Attardi, Giuseppe; Di Marco, S.; Salvi, D.
Web-based configuration assistants
1998-01-01 Attardi, Giuseppe; Cisternino, Antonio; Simi, Maria
Web-Based Configuration Assistants
1998-01-01 Attardi, Giuseppe; Cisternino, Antonio; Simi, Maria
Communication across Viewpoints
1998-01-01 Attardi, Giuseppe; Simi, Maria
Software Components for Computer Algebra
1998-01-01 Attardi, Giuseppe; Flagella, T.; Iglio, P.
3D facial Re-construction and Visualization of Ancient Egyptian Mummies using spiral CT data
1999-01-01 Betro', MARIA CARMELA; Attardi, Giuseppe; Forte, M.; Gori, R.; Guidazzoli, A.; Imboden, S.; Mallegni, Francesco
Impementing an Interactive Discussion Forum
1999-01-01 Attardi, Giuseppe; Zorzetti, G.
Automatic Web Page Categorization by Link and Context Analysis
1999-01-01 Attardi, Giuseppe; Gullì, A.; Sebastiani, F.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Taxonomic Reasoning | 1-gen-1986 | Attardi, Giuseppe; Corradini, Andrea; Diomedi, S.; Simi, Maria | |
A Description Oriented Logic for Building Knowledge Bases | 1-gen-1986 | Attardi, Giuseppe; Simi, Maria | |
Reflections about reflection | 1-gen-1991 | Attardi, Giuseppe; Simi, Maria | |
Embeddable Common Lisp | 1-gen-1994 | Attardi, Giuseppe | |
Building Proofs in Context | 1-gen-1994 | Attardi, Giuseppe; Simi, Maria | |
Proofs in context | 1-gen-1994 | Attardi, Giuseppe; Simi, Maria | |
Formalization of viewpoints | 1-gen-1995 | Attardi, Giuseppe; Simi, Maria | |
Multilanguage interoperability | 1-gen-1996 | Attardi, Giuseppe; Gaspari, M. | |
Web Host Enumeration Through DNS | 1-gen-1997 | Attardi, Giuseppe; Dato, D.; Gullì, A. | |
Building a Configuration Assistant on the Web | 1-gen-1997 | Cisternino, Antonio; Attardi, Giuseppe; Simi, Maria | |
CompAss: a system for plans of study compilation | 1-gen-1997 | Attardi, Giuseppe; Cisternino, Antonio; Simi, Maria | |
A customisable memory management framework for C++ | 1-gen-1998 | Attardi, Giuseppe; Flagella, T.; Iglio, P. | |
Categorization by context | 1-gen-1998 | Attardi, Giuseppe; Di Marco, S.; Salvi, D. | |
Web-based configuration assistants | 1-gen-1998 | Attardi, Giuseppe; Cisternino, Antonio; Simi, Maria | |
Web-Based Configuration Assistants | 1-gen-1998 | Attardi, Giuseppe; Cisternino, Antonio; Simi, Maria | |
Communication across Viewpoints | 1-gen-1998 | Attardi, Giuseppe; Simi, Maria | |
Software Components for Computer Algebra | 1-gen-1998 | Attardi, Giuseppe; Flagella, T.; Iglio, P. | |
3D facial Re-construction and Visualization of Ancient Egyptian Mummies using spiral CT data | 1-gen-1999 | Betro', MARIA CARMELA; Attardi, Giuseppe; Forte, M.; Gori, R.; Guidazzoli, A.; Imboden, S.; Mallegni, Francesco | |
Impementing an Interactive Discussion Forum | 1-gen-1999 | Attardi, Giuseppe; Zorzetti, G. | |
Automatic Web Page Categorization by Link and Context Analysis | 1-gen-1999 | Attardi, Giuseppe; Gullì, A.; Sebastiani, F. |
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