Persona
GERLA BRUNELLA
Docenti di ruolo di Ia fascia
Course Catalogue:
Comunicazioni
Partecipa a
Logiche non classiche
GruppoRicerca finanziata
Modal logics are a family of formal systems based on classical logic which aim at improving the expressive power of the classical calculus allowing to reason about modes of truth
Progetti di ricerca UE - Programmi Quadro
Progetto
Responsabile scientifico
2021
48 mesi
No Results Found
Pubblicazioni (69)
Comitati editoriali (2)
Membro del Comitato Editoriale - SOFT COMPUTING - ISSN: 1432-7643 - Heidelberg ; Berlin : Springer (2003 - 2010)
2003
No Results Found
Collegi di dottorato (6)
Università degli Studi INSUBRIA Varese-Como -
INFORMATICA E MATEMATICA DEL CALCOLO-2023
(ciclo: 39 - Anno: 2023
2023
)
Università degli Studi INSUBRIA Varese-Como -
INFORMATICA E MATEMATICA DEL CALCOLO-2022
(ciclo: 38 - Anno: 2022
2022
)
Università degli Studi INSUBRIA Varese-Como -
INFORMATICA E MATEMATICA DEL CALCOLO-2021
(ciclo: 37 - Anno: 2021
2021
)
Università degli Studi INSUBRIA Varese-Como -
INFORMATICA E MATEMATICA DEL CALCOLO-2020
(ciclo: 36 - Anno: 2020
2020
)
Università degli Studi INSUBRIA Varese-Como -
INFORMATICA E MATEMATICA DEL CALCOLO-2019
(ciclo: 35 - Anno: 2019
2019
)
Università degli Studi INSUBRIA Varese-Como -
INFORMATICA E MATEMATICA DEL CALCOLO-2018
(ciclo: 34 - Anno: 2018
2018
)
No Results Found
Insegnamenti offerta formativa corrente (2)
SCV0002 - ALGEBRA E GEOMETRIA
Primo Semestre (23/09/2024 - 20/12/2024)
- 2024
Laurea
9 CFU
72 ore
SCV0002 - ALGEBRA E GEOMETRIA
Primo Semestre (23/09/2024 - 20/12/2024)
- 2024
Laurea
9 CFU
72 ore
No Results Found