LEADER 02405nam  22006015  450 
001 9910886095403321
005 20240828130252.0
010   $a9783031690426
010   $a3031690427
024 7 $a10.1007/978-3-031-69042-6
035   $a(MiAaPQ)EBC31622058
035   $a(Au-PeEL)EBL31622058
035   $a(CKB)34455967000041
035   $a(DE-He213)978-3-031-69042-6
035   $a(OCoLC)1453756877
035   $a(EXLCZ)9934455967000041
100   $a20240828d2024      u|         0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aSymbolic Computation in Software Science $e10th International Symposium, SCSS 2024, Tokyo, Japan, August 28?30, 2024, Proceedings /$fedited by Stephen M. Watt, Tetsuo Ida
205   $a1st ed. 2024.
210  1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2024.
215   $a1 online resource (148 pages)
225 1 $aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v14991
311 08$a9783031690419 
311 08$a3031690419 
330   $aThis book constitutes the refereed proceedings of the 10th International Symposium on Symbolic Computation in Software Science, SCSS 2024, which took place in Tokyo, Japan, during August 28-30, 2024. The 7 full papers were carefully reviewed and selected from 25 submissions. The papers presented emphasize formal analysis and proof of theorems invarious applications, foundational work on rewrite systems, and sound handling of branches of inverse functions. .
410  0$aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v14991
606   $aArtificial intelligence
606   $aSoftware engineering
606   $aComputer science
606   $aArtificial Intelligence
606   $aSoftware Engineering
606   $aTheory of Computation
615  0$aArtificial intelligence.
615  0$aSoftware engineering.
615  0$aComputer science.
615 14$aArtificial Intelligence.
615 24$aSoftware Engineering.
615 24$aTheory of Computation.
676   $a006.3
700   $aWatt$b Stephen M$0943355
701   $aIda$b Tetsuo$0913663
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910886095403321
996   $aSymbolic Computation in Software Science$94257995
997   $aUNINA