Stefano Bonzio, Francesco Paoli, Michele Pra Baldi

Logics of Variable Inclusion - Springer Springer 2022

9783031042973

EBOOK