top

English
Persona    Opera   
Persona/Opera
Vai a Pubblicazioni
Persona/Ente/Famiglia
   

Espandi
Riduci








Bundy, Alan
ID: 45435

Opere

Seleziona tutte
Deseleziona


Artificial Intelligence
Espandi opera
...
Automated Deduction — CADE-12
Espandi opera
...
Automazione del ragionamento matematico
Espandi opera
...

Catalogue of Artificial Intelligence Tools
Espandi opera
...
Computer Modelling of Mathematical Reasoning
Espandi opera
...