L'automazione del ragionamento matematico / Alan Bundy

Pubblico ISBD Titolo : L'automazione del ragionamento matematico : dalla dimostrazione dei teoremi alla formazione dei concetti Tipo di documento: materiale a stampa Editore: Padova : Franco Muzzio Data di pubblicazione: 1986 Collane: Intelligenza artificiale e robotica n. 4 Numero di pagine: XX, 425 p. Dimensioni: 21 cm. ISBN/ISSN/EAN: 1465 Prezzo: £ 36.000 Indicizzazione: 003.4 cibernetica L'automazione del ragionamento matematico : dalla dimostrazione dei teoremi alla formazione dei concetti [materiale a stampa] . - Padova : Franco Muzzio, 1986 . - XX, 425 p. ; 21 cm.. - (Intelligenza artificiale e robotica; 4) . ISSN : 1465 : £ 36.000 Indicizzazione: 003.4 cibernetica

Prenotazione

Prenota questo documento

Esemplari (1)

Inventario	Collocazione	Tipo documento	Ubicazione	Sezione	Status
1465	BUN-AUT	mat.stp-libro	Bib princip-import(1)	indeterminato	Disponibile

---

1 (1 - 1 / 1)