Share Catalogue

Persona

Opera

Persona/Opera

Vai a Pubblicazioni

Opera/Pubblicazioni

Espandi

Riduci

Isabelle/HOL A Proof Assistant for Higher-Order Logic

Export / Download

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

Isabelle
ID: 2223517

Creatori:

(62010) Nipkow, Tobias

...