Mathematics, computer science and logic : a never ending story : the Bruno Buchberger Festschrift
This book presents four mathematical essays which explore the foundations of mathematics and related topics ranging from philosophy and logic to modern computer mathematics. While connected to the historical evolution of these concepts, the essays place strong emphasis on developments still to come....
Enregistré dans:
| Autres auteurs: | Paule, Peter, 19..- (Directeur de la publication) |
|---|---|
| Format: | Livre numérique |
| Langue: | Anglais |
| Publié: |
Cham :
Springer International Publishing
[20..].
Cham : Springer Nature |
| Édition: | 1st ed. 2013. |
| Accès en ligne: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Note: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Mathematics, computer science and logic, a never ending story, the Bruno Buchberger festschrift, edited by Peter Paule, Cham, Springer, 2013, 1 vol. (VII-113 p.), 978-3-319-00965-0 • Mathematics, Computer Science and Logic - A Never Ending Story, Texte imprimé, 9783319009674 • Mathematics, Computer Science and Logic - A Never Ending Story, Texte imprimé, 9783319346823 |
Documents similaires
-
Logic, language, and computation : festschrift in honor of Satoru Takasu
(Livre numérique)
Jones, Neil D., 1941- -
Foundations of Logic and Mathematics : Applications to Computer Science and Cryptography
(Livre numérique)
Nievergelt, Yves, 1954- - Mathematics in Computer Science. (Revue numérique)
-
Logics in computer science : a study on extensions of temporal and strategic logics
(Livre numérique)
Mogavero, Fabio, 19..-...., chercheur en informatique
Atlantis Press, 2013 -
Mathematical logic for computer science
(Livre papier)
Zhongwan, Lu
World scientific, 1989

