Igor Sedlár – författare
Visar alla böcker från författaren Igor Sedlár. Handla med fri frakt och snabb leverans.
10 produkter
10 produkter
217 kr
Skickas inom 5-8 vardagar
231 kr
Skickas inom 5-8 vardagar
210 kr
Skickas inom 5-8 vardagar
217 kr
Skickas inom 5-8 vardagar
210 kr
Skickas inom 5-8 vardagar
217 kr
Skickas inom 5-8 vardagar
372 kr
Skickas inom 5-8 vardagar
Del 12569 - Lecture Notes in Computer Science
Dynamic Logic. New Trends and Applications
Third International Workshop, DaLí 2020, Prague, Czech Republic, October 9–10, 2020, Revised Selected Papers
Häftad, Engelska, 2020
555 kr
Skickas inom 10-15 vardagar
This book constitutes the proceedings of the Third International Workshop on Dynamic Logic, DaLí 2019, held in Prague, Czech Republic in October 2020.
1 602 kr
Skickas inom 10-15 vardagar
This book brings together contemporary work on relevant logics to showcase the recent progress of the field and set the stage for future research. Relevant logics have recently seen a resurgence of interest and this volume will be an important resource for logicians working on substructural and relevant logics for years to come.
Logic, Language, and Computation
14th International Tbilisi Symposium, TbiLLC 2023, Telavi, Georgia, September 18–22, 2023, Revised Selected Papers
Häftad, Engelska, 2026
1 431 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 14th International Tbilisi Symposium on Logic, Language and Computation, TbiLLC 2023, held in Telavi, Georgia, during September 18-22, 2023.The 14 full papers were included in this book were carefully reviewed and selected from 21 submissions. These papers were organized in the following topical sections: Language and Logic; Logic and Computation.