Dynamic Logic. New Trends and Applications Plus de livres par Alexandre Madeira & Mário Benevides

Recent Trends in Algebraic Development Techniques

2023