Technische Daten
Erscheinungsdatum
08.06.2024
Herausgeber
Springer International Publishing
Serien- oder Bandtitel
Lecture Notes in Computer Science
Buch Untertitel
30th International Workshop, WoLLIC 2024, Bern, Switzerland, June 10–13, 2024, Proceedings
Schlagwörter
non-classical logics, models of computation, proof mining, type theory, natural language, information organization, philosophical logic, artificial intelligence, proof theory, modal logic, formal methods, logics of programs, foundations of mathematics
Thema-Inhalt
UK - Computerhardware
UYQ - Künstliche Intelligenz
Hersteller: Springer, Europaplatz 3, Heidelberg, Deutschland, 69115, ProductSafety@springernature.com, Springer Nature Customer Service Center GmbH
Warnhinweise und Sicherheitsinformationen
Informationen nach EU Data Act