Remarks on Sequent Calculus

  1. Home
  2. Didattica
  3. Seminari
Relatore:  Enrico Moriconi - Università di Pisa
  mercoledì 12 febbraio 2020 alle ore 16.30 Aula I

Abstract: vedi allegato

Contact person: Peter Schuster

Titolo Formato  (Lingua, Dimensione, Data pubblicazione)
Abstract  pdfpdf (it, 91 KB, 20/01/20)
Referente
Referente esterno
Data pubblicazione
20 gennaio 2020

Offerta formativa

Condividi