國立高雄大學圖資館 |

Language: English

Back

Symbolic computation in software science10th international symposium, SCSS 2024, Tokyo, Japan, August 28-30, 2024 : proceedings /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Symbolic computation in software scienceedited by Stephen M. Watt, Tetsuo Ida.
Reminder of title:	10th international symposium, SCSS 2024, Tokyo, Japan, August 28-30, 2024 : proceedings /
remainder title:	SCSS 2024
other author:	Watt, Stephen M.
corporate name:
Published:	Cham :Springer Nature Switzerland :2024.
Description:	xxv, 129 p. :ill., digital ;24 cm.
Contained By:	Springer Nature eBook
Subject:	Formal methods (Computer science)
Online resource:	https://doi.org/10.1007/978-3-031-69042-6
ISBN:	9783031690426$q(electronic bk.)

Symbolic computation in software science10th international symposium, SCSS 2024, Tokyo, Japan, August 28-30, 2024 : proceedings /
Symbolic computation in software science10th international symposium, SCSS 2024, Tokyo, Japan, August 28-30, 2024 : proceedings /[electronic resource] :SCSS 2024edited by Stephen M. Watt, Tetsuo Ida. - Cham :Springer Nature Switzerland :2024. - xxv, 129 p. :ill., digital ;24 cm. - Lecture notes in computer science,149910302-9743 ;. - Lecture notes in computer science ;4891..

This 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.

ISBN: 9783031690426$q(electronic bk.)

Standard No.: 10.1007/978-3-031-69042-6doiSubjects--Topical Terms:

277520
Formal methods (Computer science)

LC Class. No.: QA76.9.F67

Dewey Class. No.: 004.0151

Symbolic computation in software science10th international symposium, SCSS 2024, Tokyo, Japan, August 28-30, 2024 : proceedings /
LDR:01698nmm a22003615a 4500 001 667709
003 DE-He213
005 20240828130252.0
006 m d
007 cr nn 008maaau
008 250107s2024 sz s 0 eng d
020 $a 9783031690426$q(electronic bk.)
020 $a 9783031690419$q(paper)
024 7 $a 10.1007/978-3-031-69042-6 $2 doi
035 $a 978-3-031-69042-6
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.9.F67
072 7 $a UYQ $2 bicssc
072 7 $a COM004000 $2 bisacsh
072 7 $a UYQ $2 thema
082 0 4 $a 004.0151 $2 23
090 $a QA76.9.F67 $b I61 2024
111 2 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
245 1 0 $a Symbolic computation in software science $h [electronic resource] : $b 10th international symposium, SCSS 2024, Tokyo, Japan, August 28-30, 2024 : proceedings / $c edited by Stephen M. Watt, Tetsuo Ida.
246 3 $a SCSS 2024
260 $a Cham : $b Springer Nature Switzerland : $b Imprint: Springer, $c 2024.
300 $a xxv, 129 p. : $b ill., digital ; $c 24 cm.
347 $a text file $b PDF $2 rda
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 14991
490 1 $a Lecture notes in artificial intelligence
520 $a This 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.
650 0 $a Formal methods (Computer science) $3 277520
650 0 $a Computer science $x Mathematics $3 253427
650 1 4 $a Artificial Intelligence. $3 212515
650 2 4 $a Software Engineering. $3 274511
650 2 4 $a Theory of Computation. $3 274475
700 1 $a Watt, Stephen M. $3 682956
700 1 $a Ida, Tetsuo. $3 279909
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 4891. $3 383229
830 0 $a Lecture notes in artificial intelligence. $3 822012
856 4 0 $u https://doi.org/10.1007/978-3-031-69042-6
950 $a Computer Science (SpringerNature-11645)