BENINI, MARCO

BENINI, MARCO  

DIPARTIMENTO DI SCIENZA E ALTA TECNOLOGIA  

Mostra records
Risultati 1 - 20 di 64 (tempo di esecuzione: 0.055 secondi).
Titolo Data di pubblicazione Autore(i) File
A Constructive Mathematics approach for Natural Language formal grammars 1-gen-2009 Benini, Marco; Gobbo, Federico
A Constructive Modeling Language for Object Oriented Information Systems 1-gen-2005 Ornaghi, M; Benini, Marco; Ferrari, Mauro; Fiorentini, C; Momigliano, A.
A Constructive Modeling Language for Object Oriented Information Systems 1-gen-2006 Ornaghi, M; Benini, Marco; Ferrari, Mauro; Fiorentini, C; Momigliano, A.
A general syntax for nonrecursive Higher Inductive Types 1-gen-2020 Girardi, Marco; Zunino, Roberto; Benini, Marco
A general syntax for nonrecursive higher inductive types 1-gen-2020 Girardi, M.; Zunino, R.; Benini, M.
A Mathematical Derivation of a Risk Assessment Procedure 1-gen-2010 Benini, Marco; Sicari, SABRINA SOPHY
A Mathematical Framework for Risk Assessment 1-gen-2007 Benini, Marco; Sicari, SABRINA SOPHY
A Model for Short-Term Content Adaptation 1-gen-2005 Benini, Marco; Trombetta, Alberto; Acquaviva, M.
A Power Conservative Underwater Localization Protocol 1-gen-2008 Sicari, SABRINA SOPHY; Benini, Marco
A proof-theoretical semantics for homotopy type theory 1-gen-2020 Benini, Marco; Bonacina, Roberta
Abstract Mathematics for Actual Computation: Hilbert's Program in the 21st Century 1-gen-2014 Benini, Marco
Adaptive Strategies in Web-Based Learning Systems: A Comparative Survey 1-gen-2005 Acquaviva, M; Benini, Marco
Adpositional argumentation: how logic originates in natural argumentative discourse 1-gen-2022 Gobbo, Federico; Benini, Marco; Wagemans, Jean H. M.
Algorithms and their explanations 1-gen-2014 Benini, Marco; Gobbo, Federico
An Ad-Hoc Semantics to Study Structural Properties of Types 1-gen-2021 Benini, Marco; Bonacina, Roberta
Annotation with adpositional argumentation 1-gen-2020 Gobbo, Federico; Benini, Marco; Wagemans, Jean H. M.
Assessing the risk to intercept VoIP calls 1-gen-2008 Benini, Marco; Sicari, SABRINA SOPHY
Barendregt's Lambda-Cube in Isabelle 1-gen-1995 Benini, Marco
Complex Arguments in Adpositional Argumentation 1-gen-2021 Gobbo, F.; Benini, M.; Wagemans, J. H. M.
Computer Arithmetic: Logic, Calculation and Rewriting 1-gen-1999 Benini, Marco; Nowotka, D.; Pulley, C.