Helle Hvid Hansen, Andre Scedrov, Ruy J.G.B. de Queiroz
Sari: Lecture Notes in Computer Science
(Ilmumisaeg: 28-Aug-2023, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031397844)
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the of the 29th International Workshop on Logic, Language, Information, and Computation, WoLLIC 2023, h...Loe edasi...
Helle Hvid Hansen, Andre Scedrov, Ruy J.G.B. de Queiroz
Sari: Lecture Notes in Computer Science
(Ilmumisaeg: 28-Aug-2023, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031397844)
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the of the 29th International Workshop on Logic, Language, Information, and Computation, WoLLIC 2023, h...Loe edasi...
Gianluca Della Vedova, Besik Dundua, Steffen Lempp, Florin Manea
Sari: Lecture Notes in Computer Science
(Ilmumisaeg: 18-Jul-2023, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031369780)
This book constitutes the refereed proceedings of the 19th International Conference on Unity of Logic and Computation, CiE 2023, held in Batumi, Georgia, during July 24-28, 2023. The 23 full papers and 13 invited papers included in this boo...Loe edasi...
Gianluca Della Vedova, Besik Dundua, Steffen Lempp, Florin Manea
Sari: Lecture Notes in Computer Science
(Ilmumisaeg: 18-Jul-2023, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031369780)
This book constitutes the refereed proceedings of the 19th International Conference on Unity of Logic and Computation, CiE 2023, held in Batumi, Georgia, during July 24-28, 2023. The 23 full papers and 13 invited papers included in this boo...Loe edasi...
(Ilmumisaeg: 05-Jul-2023, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031359491)
This book constitutes the proceedings of the 17th International Conference on Formal Concept Analysis, ICFCA 2023, which took place in Kassel, Germany, in July 2023.The 13 full papers presented in this volume were carefully reviewed and selected from...Loe edasi...
(Ilmumisaeg: 05-Jul-2023, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031359491)
This book constitutes the proceedings of the 17th International Conference on Formal Concept Analysis, ICFCA 2023, which took place in Kassel, Germany, in July 2023.The 13 full papers presented in this volume were carefully reviewed and selected from...Loe edasi...
(Ilmumisaeg: 22-Feb-2023, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031266898)
Edited in collaboration with FoLLI, this book constitutes the refereed proceedings of the 10th Indian Conference on Logic and Its Applications, ICLA 2023, which was held in Indore, India, in March 2023.Besides 6 invited papers presented in this volum...Loe edasi...
(Ilmumisaeg: 22-Feb-2023, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031266898)
Edited in collaboration with FoLLI, this book constitutes the refereed proceedings of the 10th Indian Conference on Logic and Its Applications, ICLA 2023, which was held in Indore, India, in March 2023.Besides 6 invited papers presented in this volum...Loe edasi...
(Ilmumisaeg: 14-Feb-2023, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031266225)
This book constitutes revised selected papers from the refereed proceedings of the 4th International Workshop on Dynamic Logic, DaLi 2022, held in Haifa, Israel, in July/August 2022.The 8 full papers presented in this volume were carefully reviewed a...Loe edasi...
(Ilmumisaeg: 14-Feb-2023, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031266225)
This book constitutes revised selected papers from the refereed proceedings of the 4th International Workshop on Dynamic Logic, DaLi 2022, held in Haifa, Israel, in July/August 2022.The 8 full papers presented in this volume were carefully reviewed a...Loe edasi...
(Ilmumisaeg: 13-Dec-2022, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031215414)
This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2022, held in Berlin, Germany, during September 26-28, 2022. This is the 6th conference of a new series, joining the efforts of two existing...Loe edasi...
(Ilmumisaeg: 13-Dec-2022, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031215414)
This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2022, held in Berlin, Germany, during September 26-28, 2022. This is the 6th conference of a new series, joining the efforts of two existing...Loe edasi...
This book constitutes refereed proceedings of the 2nd International Conference on Artificial Intelligence Logic and Applications 2022 held in Shanghai, China from August 26-28, 2022.The 20 full papers presented in this volume were care...Loe edasi...
This book constitutes refereed proceedings of the 2nd International Conference on Artificial Intelligence Logic and Applications 2022 held in Shanghai, China from August 26-28, 2022.The 20 full papers presented in this volume were care...Loe edasi...
(Ilmumisaeg: 12-Oct-2022, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031191350)
This book constitutes the refereed proceedings of the 15th International Conference on Reachability Problems, RP 2022, held in Kaiserslautern, Germany, in October 2022.The 8 full papers presented were carefully reviewed and selected from 14 submissio...Loe edasi...
(Ilmumisaeg: 12-Oct-2022, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031191350)
This book constitutes the refereed proceedings of the 15th International Conference on Reachability Problems, RP 2022, held in Kaiserslautern, Germany, in October 2022.The 8 full papers presented were carefully reviewed and selected from 14 submissio...Loe edasi...
(Ilmumisaeg: 02-Oct-2022, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031177156)
This book constitutes the proceedings of the 19th International Colloquium on Theoretical Aspects of Computing, ICTAC 2022, which took place in Tbilisi, Georgia, in September 2022.The 23 papers presented in this volume together with 2 short papers we...Loe edasi...
(Ilmumisaeg: 02-Oct-2022, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031177156)
This book constitutes the proceedings of the 19th International Colloquium on Theoretical Aspects of Computing, ICTAC 2022, which took place in Tbilisi, Georgia, in September 2022.The 23 papers presented in this volume together with 2 short papers we...Loe edasi...
Agata Ciabattoni, Elaine Pimentel, Ruy J. G. B. de Queiroz
Sari: Lecture Notes in Computer Science
(Ilmumisaeg: 08-Sep-2022, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031152986)
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 28th Workshop on Logic, Language, Information and Computation, WoLLIC 2022, Iasi, Romania, in September 2022....Loe edasi...
Agata Ciabattoni, Elaine Pimentel, Ruy J. G. B. de Queiroz
Sari: Lecture Notes in Computer Science
(Ilmumisaeg: 08-Sep-2022, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031152986)
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 28th Workshop on Logic, Language, Information and Computation, WoLLIC 2022, Iasi, Romania, in September 2022....Loe edasi...
