Login / Signup

The 2021 experience of logic in computer science.

Daniele Gorla
Published in: ACM SIGLOG News (2021)
Keyphrases