Alexandre Madeira

도서
Recent Trends in Algebraic Development Techniques Recent Trends in Algebraic Development Techniques
Recent Trends in Algebraic Development Techniques
2023년
Dynamic Logic. New Trends and Applications Dynamic Logic. New Trends and Applications
Dynamic Logic. New Trends and Applications
2017년