Paperback (28 Aug 2024)
Save $23.01
Includes delivery to the United States
10+ copies available online - Usually dispatched within 7 days
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: | 9783031690419 |
| Publisher: | Springer Nature Switzerland |
| Imprint: | Springer |
| Pub date: | 28 Aug 2024 |
| Language: | English |
| Number of pages: | 129 |
| Weight: | 227g |
| Height: | 235mm |
| Width: | 155mm |
| Spine width: | 10mm |
$3.42off
Computational Intelligence for ...
Paperback
Published 19 Dec 2024
Save $3.42
Human-Robot Interaction in Law ...
Hardback
Published 29 Aug 2024
AI-Driven IoT Systems for Indus...
Hardback
Published 30 Jul 2024
Integration of Cloud Computing ...
Hardback
Published 20 Dec 2024
Regulating Hate Speech Created ...
Hardback
Published 02 Aug 2024
$3.18off
Recommender Systems
Paperback
Published 07 Oct 2024
Save $3.18
Internet of Things and Big Data...
Hardback
Published 27 Nov 2024
Artificial Intelligence
Hardback
Published 25 Sep 2024
$5.52off
Essentials of AI for Beginners
Hardback
Published 29 Nov 2024
Save $5.52
$4.67off
Leveraging Artificial Intellige...
Paperback
Published 04 Oct 2024
Save $4.67