top
Biblioteche
Info
Contattaci
Persona
Opera
Persona
Opera
Persona/Opera
Vai a Pubblicazioni
Opera/Pubblicazioni
Espandi
Riduci
Pubblicazioni
Logic for computer science foundations of automatic theorem proving
Export / Download
PDF
Excel
Unimarc (binario)
Marc XML
Marc (testo)
Logic for computer science
ID:
1488570
Creatori:
(65693) Gallier, Jean H.
...
Persona
Opera