top
Biblioteche
Info
Contattaci
Persona
Opera
Persona
Opera
Persona/Opera
Vai a Pubblicazioni
Opera/Pubblicazioni
Espandi
Riduci
Pubblicazioni
L' automazione del ragionamento matematico dalla dimostrazione dei teoremi alla formazione dei concetti
L'automazione del ragionamento matematico dalla dimostrazione dei teoremi alla formazione dei concetti
Export / Download
PDF
Excel
Unimarc (binario)
Marc XML
Marc (testo)
Automazione del ragionamento matematico
ID:
45818
Creatori:
(45435) Bundy, Alan
...
Persona
Opera