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