Bart Bogaerts

Un framework che unisce AFT e Teoria delle Categorie per applicazioni di logica di ordine superiore.

Scopri come i Sottogruppi Minimalmente Insoddisfacenti possono semplificare la risoluzione dei problemi in informatica.