ACM transactions on computational logic: TOCL (Association for Computing Machinery, 2000)
Gesehen am 15.06.20
Keywords: Zeitschrift; Online-Ressource; Mathematische Logik