New Books in Oct. 2023
8. 計 算 機 科 学



*115  Dzhafarov,D./Mummert,C.:詳報掲載
       Reverse Mathematics: Problems, Reductions, and Proofs.
           (Theory and Applications of Computability)
             July 2023	488 pp.
             (Springer)     9783031113697   15,340.
*116  Takama,Y. et al (eds.):
       New Frontiers in Artificial Intelligence: 
        JSAI-isAI 2022 Workshop, JURISIN 2022, and 
         JSAI 2022 International Session, Kyoto, 2022. 
           (Lecture Notes in Artificial Intelligence, Vol. 13859)
             Apr. 2023	284 pp.
             (Springer)     9783031291678   13,860.
*117  Vedova,G./Dundua,B./Lempp,S./Manea,F.(eds.):
       Unity of Logic and Computation: 
        19th Conf. on Computability in Europe, CIE 2023. 
           (Lecture Notes in Computer Science, Vol. 13967)
             July 2023	297 pp.
             (Springer)     9783031369773   13,860.
*118  Villavicencio,G.:詳報掲載
       Polytopes and Graphs.
           (Cambridge Studies in Advanced Mathematics, Vol. ***)
             Feb. 2024	470 pp.
             (Cambridge)    9781009257817     価格未定
*119  Zhao,G.:
       Redefining Trafic: How AI Leads the Change.
             July 2023	304 pp.
             (World Sci.)   9789811249747   20,870.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ