Share Catalogue

Persona

Opera

Persona/Opera

Vai a Pubblicazioni

Opera/Pubblicazioni

Espandi

Riduci

Pubblicazioni

Isabelle/HOL A Proof assistant for Higher-Order logic

Le Isabelle dal Teatro della Maddalena alla Isabella Andreini

Export / Download

PDF
Excel
Unimarc (binario)
Marc XML
Marc (testo)

Isabelle
ID: 983713