Logik, Formale Sprachen, Automaten
Baratgin / Jacquet / Yama
Human and Artificial Rationalities
Human and Artificial Rationalities
Second International Conference, HAR 2023, Paris, France, September 19–22, 2023, Proceedings
Muggleton / Tamaddoni-Nezhad
31st International Conference, ILP 2022, Windsor Great Park, UK, September 28–30, 2022, Proceedings
Gagniuc
Coding Examples from Simple to Complex
Coding Examples from Simple to Complex
Applications in Python
Følstad / Araujo / Papadopoulos / Law / Luger / Goodwin / Hobert / Brandtzaeg
7th International Workshop, CONVERSATIONS 2023, Oslo, Norway, November 22–23, 2023, Revised Selected Papers
Meier / Ortiz
Foundations of Information and Knowledge Systems
Foundations of Information and Knowledge Systems
13th International Symposium, FoIKS 2024, Sheffield, UK, April 8–11, 2024, Proceedings
Ubar / Raik / Jenihhin
Structural Decision Diagrams in Digital Test
Structural Decision Diagrams in Digital Test
Theory and Applications
Rahman / Armgardt / Kvernenes
New Developments in Legal Reasoning and Logic
New Developments in Legal Reasoning and Logic
From Ancient Law to Modern Legal Systems
Ceccherini-Silberstein / Coornaert
2nd ed. 2023
Dimitrova / Lahav / Wolff
Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation
25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part II
Dimitrova / Lahav / Wolff
Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation
25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part I
Bellodi / Lisi / Zese
32nd International Conference, ILP 2023, Bari, Italy, November 13–15, 2023, Proceedings
Capozucca / Ebersold / Bruel / Meyer
Frontiers in Software Engineering Education
Frontiers in Software Engineering Education
Second International Workshop, FISEE 2023, Villebrumier, France, January 23–25, 2023, Invited Papers
Barbosa / Zohar
Formal Methods: Foundations and Applications
Formal Methods: Foundations and Applications
26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4–8, 2023, Proceedings