Formal Methods for an Informal World
ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1–7, 2021, Tutorial Lectures
Book titles in this series
-
-
Composability, Comprehensibility and Correctness of Working Software
8th Summer School, CEFP 2019, Budapest, Hungary, June 17–21, 2019, Revised Selected Papers
- Editors:
-
- Zoltán Porkoláb
- Viktória Zsók
- Copyright: 2023
Available Renditions
- Soft cover
-
Reasoning Web. Causality, Explanations and Declarative Knowledge
18th International Summer School 2022, Berlin, Germany, September 27–30, 2022, Tutorial Lectures
- Editors:
-
- Leopoldo Bertossi
- Guohui Xiao
- Copyright: 2023
Available Renditions
- Soft cover
-
Reasoning Web. Declarative Artificial Intelligence
17th International Summer School 2021, Leuven, Belgium, September 8–15, 2021, Tutorial Lectures
- Editors:
-
- Mantas Šimkus
- Ivan Varzinczak
- Copyright: 2022
Available Renditions
- Soft cover
-
Reasoning Web. Declarative Artificial Intelligence
16th International Summer School 2020, Oslo, Norway, June 24–26, 2020, Tutorial Lectures
- Editors:
-
- Marco Manna
- Andreas Pieris
- Copyright: 2020
Available Renditions
- Soft cover