Tesi di laurea con relatore o correlatore Sacerdoti Coen, Claudio, discusse nel 2024

Su di un livello
Esporta come [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Raggruppa per: Autore della tesi | Tipologia della tesi | Nessun raggruppamento
Vai a: Laurea
Numero di documenti: 3.

Laurea

Altadonna, Fabio (2024) Logica di Hoare applicata su un linguaggio procedurale: implementazione Matita. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]

Capone, Orazio Andrea (2024) Una webapp per dimostrazioni in deduzione natuale per la logica del primo ordine. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]

Russo, Marco (2024) Il lambda-calcolo con la strategia Call-by-Value. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]

Questa lista e' stata generata il Fri Sep 27 10:09:55 2024 CEST.

© ALMA MATER STUDIORUM - Università di Bologna, 2007-2024.

^