• Media type: E-Book; Conference Proceedings
  • Title: SCSS 2024 WiP: 10th International Symposium on Symbolic Computation in Software Science - Work in Progress Workshop : proceedings of the SCSS 2024 Work in Progress Workshop, co-located with 10th International Symposium on Symbolic Computation in Software Science (SCSS 2024) : Tokyo, Japan, Aug 28-30, 2024
  • Other titles: Abweichender Titel: SCSS 2024: 10th International Symposium on Symbolic Computation in Software Science, August 28-30, 2024, Tokyo, Japan
  • Contributor: Nabeshima, Katsusuke [Editor]; Watt, Stephen M. [Editor]
  • Published: [Aachen, Germany]: [RWTH Aachen], 2024-09-02
  • Published in: CEUR workshop proceedings ; 3754
  • Extent: 1 Online-Ressource; Illustrationen
  • Language: English
  • Identifier:
  • Keywords: Konferenzschrift
  • Origination:
  • Footnote: Literaturangaben
  • Access State: Open Access
  • Rights information: Attribution (CC BY)