ID:DA19542596
Search authors sharing the same name
Ulrich Berger ... [et al.] (eds.)
Springer c2022 Lecture notes in computer science 13359 . Advanced research in computing and software science
Available at 1 libraries
edited by Johanna N.Y. Franklin, Christopher P. Porter
Association for Symbolic Logic , Cambridge Unviersity Press 2020 Lecture notes in logic 50
Available at 7 libraries