Dettagli di una collana
|
|
Documenti disponibili nella collana (3)
Perfeziona la ricerca
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
Titolo : Fondamenti di programmazione logica : I SUOI RAPPORTI CON LA LOGICA E LA MATEMATICA Tipo di documento: materiale a stampa Editore: Padova : Franco Muzzio Collane: Intelligenza artificiale e robotica Numero di pagine: X, 155 p. Dimensioni: 19 cm ISBN/ISSN/EAN: 3185 Prezzo: 24000 LIT Indicizzazione: 004 informatica Fondamenti di programmazione logica : I SUOI RAPPORTI CON LA LOGICA E LA MATEMATICA [materiale a stampa] . - Padova : Franco Muzzio, [s.d.] . - X, 155 p. ; 19 cm. - (Intelligenza artificiale e robotica) .
ISSN : 3185 : 24000 LIT
Indicizzazione: 004 informatica Prenotazione
Prenota questo documento
Esemplari (1)
Inventario Collocazione Tipo documento Ubicazione Sezione Status 3185 004 LLO-FON mat.stp-libro Bib princip-import(1) indeterminato Disponibile
Titolo : Introduzione pratica al prolog Altro titolo : SISTEMI ESPERTI, LOGICA, PROCEDURE Tipo di documento: materiale a stampa Editore: Padova : Franco Muzzio Collane: Intelligenza artificiale e robotica n. 14 Numero di pagine: VII, 96 p. Dimensioni: 19 cm ISBN/ISSN/EAN: 3186 Prezzo: 26000 LIT Indicizzazione: 004 informatica Introduzione pratica al prolog = SISTEMI ESPERTI, LOGICA, PROCEDURE [materiale a stampa] . - Padova : Franco Muzzio, [s.d.] . - VII, 96 p. ; 19 cm. - (Intelligenza artificiale e robotica; 14) .
ISSN : 3186 : 26000 LIT
Indicizzazione: 004 informatica Prenotazione
Prenota questo documento
Esemplari (1)
Inventario Collocazione Tipo documento Ubicazione Sezione Status 3186 004 MAZ-INT mat.stp-libro Bib princip-import(1) indeterminato Disponibile
