Vai al contenuto principale della pagina

L' automazione del ragionamento matematico : dalla dimostrazione dei teoremi alla formazione dei concetti / Alan Bundy



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Autore: Bundy, Alan Visualizza persona
Titolo: L' automazione del ragionamento matematico : dalla dimostrazione dei teoremi alla formazione dei concetti / Alan Bundy Visualizza cluster
Pubblicazione: Padova : Franco Muzzio, 1986
Edizione: ed. italiana a cura di Mauro Boscarol
Descrizione fisica: XX, 425 p. : ill. ; 21 cm
Disciplina: 005131
Soggetto non controllato: logica matematica
Persona (resp. second.): Boscarol, Mauro
Titolo autorizzato: Automazione del ragionamento matematico  Visualizza cluster
ISBN: 88-7021-292-0
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Italiano
Record Nr.: 990000197160203316
Lo trovi qui: Univ. di Salerno
Collocazione: 005.131 BUN
Opac: Controlla la disponibilità qui
Serie: intelligenza artificiale e robotica ; IAR
Biblioteca: Univ. di Salerno
Opac: Controlla la disponibilità qui