Bemærk: Kan leveres før jul.
?This book constitutes the refereed proceedings of the 11th Conference on Artificial Intelligence and Natural Language, AINL 2022, held in St. Petersburg, Russia, in April 2022.
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
The two-volume set LNCS 13451 and 13452 constitutes revised selected papers from the CICLing 2019 conference which took place in La Rochelle, France, April 2019.The total of 95 papers presented in the two volumes was carefully reviewed and selected from 335 submissions.
Bemærk: Kan ikke leveres før jul.
This three-volume set, LNCS 13421, 13422 and 13423, constitutes the thoroughly... Læs mere
Bemærk: Kan ikke leveres før jul.
This book constitutes the proceedings of the 6th International Workshop on Chatbot Research and Design, CONVERSATIONS 2022, which was held during November 2022. The 12 papers included in this volume were carefully reviewed and selected from a total of 27 submissions.
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Lübeck, Germany, in March 2023. The 26 full paper, 2 short papers included in this book were carefully reviewed and selected rom 95 submissions.
Bemærk: Kan ikke leveres før jul.
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.
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.