MIOLA, Alfonso

MIOLA, Alfonso  

Dipartimento di Ingegneria  

Mostra records
Risultati 1 - 20 di 20 (tempo di esecuzione: 0.0 secondi).
Titolo Data di pubblicazione Autore(i) File
A Desk-Top Sequent Calculus Machine 1-gen-1993 Cioni, G; Colagrossi, A; Miola, Alfonso
A Sequent Calculus for Automated Reasoning in Symbolic Computation Systems 1-gen-1995 Cioni, G; Colagrossi, A; Miola, Alfonso
An Overview of TASSO Project 1-gen-1997 Miola, Alfonso
Building the Expert Module for ITS in Mathematics: A General Reasoning Apparatus 1-gen-1993 Carlucci Aiello, L; Colagrossi, A; Micarelli, A; Miola, Alfonso
Computing tools today 1-gen-1990 Miola, Alfonso
Constructive Lifting in Graded Structures: a unified view of Buchberger and Hensel methods 1-gen-1989 Miola, Alfonso; Mora, T.
Context-aware Movie Recommendation based on Signal Processing and Machine Learning 1-gen-2011 Biancalana, Claudio; Gasparetti, Fabio; Micarelli, Alessandro; Miola, Alfonso; Sansonetti, Giuseppe
Deduction and abduction using a sequent calculus 1-gen-1997 Cioni, G; Colagrossi, A; Miola, Alfonso
Design and Implementation of Symbolic Computation Systems 1-gen-1992 Limongelli, Carla; Miola, Alfonso; Temperini, M.
Discussion on The Use of Mental Imagery in Thinking by Herbert Simon 1-gen-1994 Miola, Alfonso
"e-Learning Standard Monitoring - 2nd report", Progetto Diogene, IST-2001-33358, Report Finale D8.2 1-gen-2004 Miola, Alfonso
Elaborazione Algebrica e Simbolica 1-gen-1993 Limongelli, Carla; Miola, Alfonso
Folksonomy-based adaptive query expansion 1-gen-2012 Biancalana, C; Gasparetti, Fabio; Micarelli, Alessandro; Miola, Alfonso; Sansonetti, G.
Folksonomy-based adaptive query expansion 1-gen-2012 Biancalana, Claudio; Gasparetti, Fabio; Micarelli, Alessandro; Miola, Alfonso; Sansonetti, Giuseppe
Functional programming approach to modularity in large software systems 1-gen-1989 Miola, Alfonso
P-adic arithmetic: a tool for error-free computations 1-gen-1997 Colagrossi, A; Limongelli, Carla; Miola, Alfonso
Supporting Teachers to Retrieve and Select Learning Objects for Personalized Courses in the Moodle_LS Environment 1-gen-2012 Limongelli, Carla; Miola, Alfonso; Sciarrone, F; Temperini, M.
Symbolic Computation and Artificial Intelligence 1-gen-1991 Miola, Alfonso
Symbolic Computation Systems 1-gen-1993 Miola, Alfonso
Wavelet-based Music Recommendation 1-gen-2012 Gasparetti, Fabio; Biancalana, Claudio; Micarelli, Alessandro; Miola, Alfonso; Sansonetti, Giuseppe