| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNIBAS000011064 |
|
|
Autore |
Yang, Chen Ning |
|
|
Titolo |
La scoperta delle particelle elementari / Chen Ning Yang ; [traduzione di Angelo Loinger] |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Torino : Boringhieri, 1969 |
|
|
|
|
|
|
|
Descrizione fisica |
|
XX, 85, [7] p. : ill. ; 19 cm. |
|
|
|
|
|
|
Collana |
|
Universale scientifica ; 37 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
2. |
Record Nr. |
UNINA9910595044003321 |
|
|
Titolo |
Intelligent Computer Mathematics : 15th International Conference, CICM 2022, Tbilisi, Georgia, September 19–23, 2022, Proceedings / / edited by Kevin Buzzard, Temur Kutsia |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
|
|
Edizione |
[1st ed. 2022.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (355 pages) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Artificial Intelligence, , 2945-9141 ; ; 13467 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
|
|
Soggetti |
|
Computational intelligence |
Computational Intelligence |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
|
|
|
|
|
Nota di contenuto |
|
Invited Talk -- Formalizations -- Digital Libraries and Mathematical Knowledge Management -- Theorem Proving and Expression Transformation -- Satisfiability, QBF, and SMT Solving -- Computer-Aided Teaching -- Datasets and system entries. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the refereed proceedings of the 15th International Conference on Intelligent Computer Mathematics, CICM 2022, held in Tbilisi, Georgia, in September 2022. The 17 full papers, 1 project/ survey paper, 4 short papers, and 2 abstracts of invited papers presented were carefully reviewed and selected from a total of 37 submissions. The papers focus on theoretical and practical solutions for these challenges including computation, deduction, narration, and data management. |
|
|
|
|
|
|
|
| |