Thomas Studer
Identifiers
- Open LibraryOL8000543A
Top Subjects
- Proof theory (1)
Books by Thomas Studer
Total count: 3
-
Advances in Proof TheoryBirkhauser Verlag2016-01-01
-
Relationale DatenbankenVon Den Theoretischen Grundlagen Zu Anwendungen Mit PostgreSQLSpringer Vieweg. in Springer Fachmedien Wiesbaden GmbH2016-01-01
-
Logic, Language, Information, and Computation30th International Workshop, WoLLIC 2024, Bern, Switzerland, June 10-13, 2024, ProceedingsSpringer2024-01-01