Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Mathematics, substance and surmise : views on the meaning and ontology of mathematics / Ernest Davis, Philip J. Davis editors
| Mathematics, substance and surmise : views on the meaning and ontology of mathematics / Ernest Davis, Philip J. Davis editors |
| Pubbl/distr/stampa | [Cham], : Springer, 2015 |
| Descrizione fisica | VI, 379 p. : ill. ; 24 cm |
| Soggetto topico |
11-XX - Number theory [MSC 2020]
11Yxx - Computational number theory [MSC 2020] 03-XX - Mathematical logic and foundations [MSC 2020] 01Axx - History of mathematics and mathematicians [MSC 2020] 68W30 - Symbolic computation and algebraic computation [MSC 2020] 65-XX - Numerical analysis [MSC 2020] 40-XX - Sequences, series, summability [MSC 2020] 00A30 - Philosophy of mathematics [MSC 2020] 97Mxx - Education of mathematical modeling and applications of mathematics [MSC 2020] 97C30 - Cognitive processes, learning theories (aspects of mathematics education) [MSC 2020] |
| Soggetto non controllato |
Mathematical objects
Mathematical ontology Mathematical statements Mathematical truths Philosophy of mathematics |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0113697 |
| [Cham], : Springer, 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Mathematics, substance and surmise : views on the meaning and ontology of mathematics / Ernest Davis, Philip J. Davis editors
| Mathematics, substance and surmise : views on the meaning and ontology of mathematics / Ernest Davis, Philip J. Davis editors |
| Pubbl/distr/stampa | [Cham], : Springer, 2015 |
| Descrizione fisica | VI, 379 p. : ill. ; 24 cm |
| Soggetto topico |
00A30 - Philosophy of mathematics [MSC 2020]
01Axx - History of mathematics and mathematicians [MSC 2020] 03-XX - Mathematical logic and foundations [MSC 2020] 11-XX - Number theory [MSC 2020] 11Yxx - Computational number theory [MSC 2020] 40-XX - Sequences, series, summability [MSC 2020] 65-XX - Numerical analysis [MSC 2020] 68W30 - Symbolic computation and algebraic computation [MSC 2020] 97C30 - Cognitive processes, learning theories (aspects of mathematics education) [MSC 2020] 97Mxx - Education of mathematical modeling and applications of mathematics [MSC 2020] |
| Soggetto non controllato |
Mathematical objects
Mathematical ontology Mathematical statements Mathematical truths Philosophy of mathematics |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00113697 |
| [Cham], : Springer, 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Mathematics, substance and surmise : views on the meaning and ontology of mathematics / Ernest Davis, Philip J. Davis editors
| Mathematics, substance and surmise : views on the meaning and ontology of mathematics / Ernest Davis, Philip J. Davis editors |
| Edizione | [[Cham] : Springer, 2015] |
| Pubbl/distr/stampa | VI, 379 p., : ill. ; 24 cm |
| Descrizione fisica | Pubblicazione in formato elettronico |
| Soggetto topico |
11-XX - Number theory [MSC 2020]
11Yxx - Computational number theory [MSC 2020] 03-XX - Mathematical logic and foundations [MSC 2020] 01Axx - History of mathematics and mathematicians [MSC 2020] 68W30 - Symbolic computation and algebraic computation [MSC 2020] 65-XX - Numerical analysis [MSC 2020] 40-XX - Sequences, series, summability [MSC 2020] 00A30 - Philosophy of mathematics [MSC 2020] 97Mxx - Education of mathematical modeling and applications of mathematics [MSC 2020] 97C30 - Cognitive processes, learning theories (aspects of mathematics education) [MSC 2020] |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0113697 |
| VI, 379 p., : ill. ; 24 cm | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Representations of commonsense knowledge / Ernest Davis
| Representations of commonsense knowledge / Ernest Davis |
| Autore | Davis, Ernest |
| Pubbl/distr/stampa | San Mateo : Morgan Kaufmann Publishers, copyr. 1990 |
| Descrizione fisica | XXIII, 515 p. : ill. ; 23 cm |
| Disciplina | 0063 |
| Collana | The Morgan Kaufmann series in representation and reasoning |
| Soggetto non controllato | intelligenza artificiale |
| ISBN | 1-55860-033-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000225030203316 |
Davis, Ernest
|
||
| San Mateo : Morgan Kaufmann Publishers, copyr. 1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||