Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 101
Titolo Data di pubblicazione Autore(i) File
ABSTRACT SPECIFICATION OF STRUCTURES AND METHODS IN SYMBOLIC MATHEMATICAL COMPUTATION 1-gen-1992 Limongelli, C; Temperini, M
ON AN EFFICIENT ALGORITHM FOR BIG RATIONAL NUMBER COMPUTATIONS BY PARALLEL P-ADICS 1-gen-1993 Limongelli, C
Exploiting SML for Experimenting with Algebraic Algorithms: The Example of p-adic Lifting 1-gen-1996 Gehrke, W; Limongelli, Carla
Uniform Representation of Basic Algebraic Structures in Computer Algebra 1-gen-1996 Limongelli, Carla; Malerba, G; Temperini, M.
p-adic Arithmetic and Parallel Symbolic Computation: an Implementation for Solving Linear Systems over the Rationals 1-gen-1996 Limongelli, Carla; R., Pirastu
``The uniform representation of mathematical objects by truncated power series'' 1-gen-1997 Limongelli, Carla; M., Temperini
``p-adic arithmetic: a tool for error free computation'' 1-gen-1997 A., Colagrossi; Limongelli, Carla; A., Miola
``Exact solution of computational problems via parallel truncated p-adic arithmetic'' 1-gen-1997 Limongelli, Carla
A Planner Fully Based on Linear Time Logic 1-gen-2000 Cialdea, Marta; Orlandini, A.; Limongelli, Carla; Balestreri, G.
A Planner Fully Based on Linear Time Logic 1-gen-2000 Cialdea, Marta; Balestreri, A. O. R. L. A. N. D. I. N. I. G.; Limongelli, Carla
The Main Features of a Planner Fully Based on LTL 1-gen-2000 Cialdea, Marta; Orlandini, A.; Limongelli, Carla; Balestreri, G.
Introduzione alla Programmazione Funzionale 1-gen-2002 Cialdea, Marta; Limongelli, Carla
Introduzione alla programmazione funzionale 1-gen-2002 Cialdea, Marta; Limongelli, Carla
Linear Time Logic, Conditioned Models and Planning with Incomplete Knowledge 1-gen-2002 Cialdea, Marta; Limongelli, Carla
Linear Time Logic, Conditioned Models and Planning with Incomplete Knowledge 1-gen-2002 Cialdea, Marta; Limongelli, Carla
Planning under Uncertainty in Linear Time Logic 1-gen-2003 Cialdea, Marta; Limongelli, Carla; Orlandini, A.; Poggioni, V.
Planning under Uncertainty in Linear Time Logic 1-gen-2003 Mayer M., C; Limongelli, Carla; Orlandini, A; Poggioni, V.
Towards a Parallel Search Engine for Planning Systems Based on Linear Time Logic 1-gen-2004 Cialdea, Marta; Limongelli, Carla; Orlandini, A; Poggioni, V.
Towards a Parallel Search Engine for Planning Systems Based on Linear Time Logic 1-gen-2004 Cialdea, Marta; Limongelli, Carla; A., Orlandini; V., Poggioni
Automated course configuration based on automated planning: framework and first experiments 1-gen-2005 Limongelli, Carla; A., Sterbini; M., Temperini
Mostrati risultati da 1 a 20 di 101
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