Geometria analitica / A. Franchetta, P. Mastrogiacomo |
Autore | Franchetta, Alfredo |
Pubbl/distr/stampa | Napoli : copyr. 1973 |
Disciplina | 516.3 |
Soggetto non controllato | Geometria analitica |
ISBN | 88-207-0262-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNISA-990000153450203316 |
Franchetta, Alfredo | ||
Napoli : copyr. 1973 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Symbolic logic and mechanical theorem proving / Chin-Liang Chang |
Autore | Chang, Chin-Liang |
Pubbl/distr/stampa | New York [etc.][Academic Press] : copyr. 1973 |
Descrizione fisica | XIII, 331 p. ill. : 20 cm |
Disciplina | 511.3 |
Collana | Computer Science and Applied Mathematics |
Soggetto non controllato | Logica matematica |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000268760203316 |
Chang, Chin-Liang | ||
New York [etc.][Academic Press] : copyr. 1973 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|