Proceedings of the 9th International Symposium on Symbolic Computation in Software Science

Research output: Book › Anthology

Name	Electronic Proceedings in Theoretical Computer Science (EPTCS)
ISSN (Print)	2075-2180

Fields of science

TY - BOOK

T1 - Proceedings of the 9th International Symposium on Symbolic Computation in Software Science

A2 - Kutsia, Teimuraz

PY - 2021

Y1 - 2021

UR - https://arxiv.org/html/2109.02501

M3 - Anthology

VL - 342

T3 - Electronic Proceedings in Theoretical Computer Science (EPTCS)

BT - Proceedings of the 9th International Symposium on Symbolic Computation in Software Science

ER -