Formal Methods Teaching 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings /

This book constitutes the proceedings of the 5th International Workshop on Formal Methods Teaching, FMTea 2023, which was held in Lübeck, Germany, in March 2023. The 7 full papers presented in this volume were carefully reviewed and selected from 10 submissions. FMTea 2023 aim is to support a worldw...

Celý popis

Podrobná bibliografie

Korporativní autor:	SpringerLink (Online service)
Další autoři:	Dubois, Catherine (Editor), San Pietro, Pierluigi (Editor)
Médium:	Elektronický zdroj E-kniha
Jazyk:	angličtina
Vydáno:	Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
Vydání:	1st ed. 2023.
Edice:	Lecture Notes in Computer Science, 13962
Témata:	Mathematical logic. Logic programming. Natural language processing (Computer science). Social sciences > Data processing. Software engineering. Microprogramming . Mathematical Logic and Foundations. Logic in AI. Natural Language Processing (NLP). Computer Application in Social and Behavioral Sciences. Software Engineering. Control Structures and Microprogramming.
On-line přístup:	https://doi.org/10.1007/978-3-031-27534-0
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!