Fabio Mogavero

Logics in Computer Science - 2013 - Atlantis Press 2013 - Atlantis Studies in Computing .

9789491216954


Mathematics and Statistics