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: A | C | R
Numero di documenti: 3.

A

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

C

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]

R

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 Sun Oct 13 06:26:26 2024 CEST.
^