Catalogo dei prodotti della ricerca

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 188
Titolo Data di pubblicazione Autore(i) File
ABSTRACT SPECIFICATION OF STRUCTURES AND METHODS IN SYMBOLIC MATHEMATICAL COMPUTATION 1992 Limongelli, C; Temperini, M
SUBTYPING INHERITANCE AND ITS APPLICATION IN LANGUAGES FOR SYMBOLIC COMPUTATION SYSTEMS 1995 Diblasio, P; Temperini, M
Advances in the Design of Symbolic Computation Systems 1997 Alfonso, Miola; Temperini, Marco
Approaching the specialization bounded polymorphism 1997 Temperini, Marco
An environment for supporting the learning of abstract algebra 1997 Cioni, G.; Colagrossi, A.; Temperini, Marco
The uniform representation of mathematical objects by truncated power series 1997 Limongelli, C.; Temperini, Marco
Enhanced strict inheritance in TASSO-L 1997 DI BLASIO, P.; Terlizzi, P.; Temperini, Marco
Map calculus: a link between algebraic specification and first order theorem proving 1998 Formisano, A.; Omodeo, E.; Temperini, Marco
Plan of activities on the map calculus 1998 Formisano, A.; Omodeo, E.; Temperini, Marco
Algebra@distance: course tailoring 1999 Cioni, G.; Colagrossi, A.; Temperini, Marco
A technique for course configuration in open and distance learning 1999 Cioni, G. M.; Colagrossi, A.; Temperini, Marco
Instructing equational reasoning with otter 2000 Formisano, A.; Omodeo, E.; Temperini, Marco
SAW: Safeness at the workplace. Report on the course "Sicurezza sul posto di lavoro: Legge 626 2000 Temperini, Marco
Goals and benchmarks for automated map reasoning 2000 Formisano, A.; Omodeo, E.; Temperini, Marco
Critical Needs and Demands for IT-based support to distance learning and collaborative work in European companies. 2000 Temperini, Marco
Layered map reasoning: An experimental approach put to trial on sets 2001 Formisano, A.; Omodeo, E.; Temperini, Marco
Instructing set reasoning with otter (II) 2001 Formisano, A; Omodeo, E; Temperini, Marco
Basic object-oriented programming with Java. 2002 Caseiro, V. H.; Temperini, Marco
Design and implementation of a logical framework for course configuration in e-learning 2003 Sterbini, Andrea; Temperini, Marco
A logical framework for course configuration in e-learning 2003 Sterbini, Andrea; Temperini, Marco
Mostrati risultati da 1 a 20 di 188
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