Benzmüller, ChristophStuckenschmidt, Heiner2022-09-222022-09-222019978-3-030-30179-8978-3-030-30178-1https://fis.uni-bamberg.de/handle/uniba/55665engArtificial IntelligenceMathematical Logic and Formal LanguagesAlgorithm Analysis and Problem ComplexityInformation Systems and Communication ServiceComputer Systems Organization and Communication NetworksArtificial intelligenceComputer scienceComputer softwareInformation systemsComputer network architecturesKünstliche Intelligenzbook10.1007/978-3-030-30179-8https://link.springer.com/book/10.1007/978-3-030-30179-8