ACM Transactions on Computational Logic, ‎1529-3785

Fachzeitschrift: Zeitschrift