[go: up one dir, main page]

"Proceedings of the 1st Workshop on Artificial Intelligence and Formal ..."

Nicola Gigante, Federico Mari, Andrea Orlandini (2020)

Details and statistics

DOI:

access: open

type: Editorship

metadata version: 2023-03-10