語系
TAP (Conference) (2023 :)
概要
| 作品: | 2 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Tests and proofs = 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023 : proceedings /
by:
TAP (Conference) (2023 :); Prevosto, Virgile.; Seceleanu, Cristina.; SpringerLink (Online service)
(書目-電子資源)