Vol-3431⫷ Vol-3432 ⫸Vol-3433
urn:nbn:de:0074-3432-0


Vol-3432/paper14⫷Vol-3432/paper15⫸Vol-3432/paper16
Gaia SaveriLuca Bortolussi

Towards Invertible Semantic-Preserving Embeddings of Logical Formulae