English
Italiano
Accedi
Indirizzo email
Password
Accedi
Nuovo utente? Clicca qui per registrarti.
Hai dimenticato la password?
Communities & Collezioni
Tutto DSpace
English
Italiano
Accedi
Indirizzo email
Password
Accedi
Nuovo utente? Clicca qui per registrarti.
Hai dimenticato la password?
Home
Sardegna Ricerche
SR Altro
Progetto PROSSIMO: tutorial KeYmaeraX
Progetto PROSSIMO: tutorial KeYmaeraX
Caricamento...
File
Keymaera.pdf
(4.48 MB)
Data
2019-07-19
Autori
Cicala, Giuseppe
Pulina, Luca
Titolo del periodico
ISSN
Titolo del volume
Editore
Abstract
Descrizione
Keywords
Citazione
URI
http://hdl.handle.net/11050/1432
collections
SR Altro
Mostra tutti i metadati