Automated theorem proving: after 25 years : [proceedings of the Special Session on Automatic Theorem Proving, 89th Annual Meeting of the American Mathematical Society, held in Denver, Colorado, January 5–9, 1983] / W. W. Bledsoe and D. W. Loveland, editors
Ente
Ruolo: Ricercatore
Periodo: (1888–....)
Lingua: Inglese
Paese: Stati Uniti d'America
Ruolo: Ricercatore
Periodo: (1888–....)
Lingua: Inglese
Paese: Stati Uniti d'America
Persona
Ruolo: Curatore
Periodo: (1921–....)
Ruolo: Curatore
Periodo: (1921–....)
Persona
Ruolo: Curatore
Periodo: (1934–....)
Ruolo: Curatore
Periodo: (1934–....)
| # | Collocazione | Prestabile | Disponibilità | |
|---|---|---|---|---|
| ARGE1 (GE) - AREA | UTENZA: L.V.5/5 | Si | Biblioteca |
