Logik, Formale Sprachen, Automaten
A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Fachbuch2., Second Edition 20252025Birkhäuser Verlag GmbHISBN 978-3-031-85351-7
Ubar / Raik / Jenihhin
Theory and Applications
Fachbuch2025Birkhäuser Verlag GmbHISBN 978-3-031-44736-5
Concepts, Languages, Architectures
Fachbuch4., Fourth Edition 20242024SpringerISBN 978-3-662-69517-3
Fachbuch2., Second Edition 20232025Springer Nature SwitzerlandISBN 978-3-031-43330-6
Selected Topics and Methods
Fachbuch2., Second Edition 20242024SpringerISBN 978-3-031-40675-1
Sachbuch2025Wiley-VCH GmbHISBN 978-3-527-72245-7
Rahman / Armgardt / Kvernenes
From Ancient Law to Modern Legal Systems
Fachbuch2022SpringerISBN 978-3-030-71683-7
Fachbuch2024SpringerISBN 978-3-031-44383-1
Ceccherini-Silberstein / Coornaert
Fachbuch2024SpringerISBN 978-3-031-10393-3
Fachbuch3., Third Edition 20242024Springer International PublishingISBN 978-3-031-42549-3
Fachbuch2024SpringerISBN 978-3-031-57634-8
The 2nd Revised, Modified, and Enlarged Edition of 'Logics for Computer and Data Sciences, and Artificial Intelligence'
Fachbuch2024Springer Nature SwitzerlandISBN 978-3-031-42036-8
Eine praxisbezogene Einführung für Informatiker und Wirtschaftsinformatiker
Fachbuch2., überarb. Aufl.2012De Gruyter OldenbourgISBN 978-3-486-71697-9
Bozku¿ Kahyao¿lu / K¿l¿ç
Algorithmic Discrimination and Ethical Perspective of Artificial Intelligence
Algorithmic Discrimination and Ethical Perspective of Artificial Intelligence
Fachbuch2024Springer Nature SingaporeISBN 9789819963294
A Practical Guide to Essentials
Fachbuch2024Springer Nature SwitzerlandISBN 978-3-031-26214-2
Fachbuch2024SpringerISBN 978-3-031-34517-3
Applications in Python™
Fachbuch2024SpringerISBN 978-3-031-53811-7
Intensional Aspects of Proof-Theoretic Semantics
Fachbuch2024SpringerISBN 978-3-031-46920-6
Meier / Ortiz
13th International Symposium, FoIKS 2024, Sheffield, UK, April 8–11, 2024, Proceedings
Fachbuch2024SpringerISBN 978-3-031-56939-5
Hesse / Schrader
Logik, Mathematik und Physik in Einstellungstests verständlich erklärt
Lehrbuch/Studienliteratur2019STARKISBN 978-3-8490-3826-7