Cover Image
Read Now

1
by Piskac, Ruzica
Published 2021
TU Wien Academic Press
Subjects: “..., Specification, Synthesis, and Testing; Automated and Formal Reasoning...”
Cover Image
Read Now

2
by Ivrii, Alexander
Published 2020
TU Wien Academic Press
Subjects: “...Automated and Formal Reasoning...”
Cover Image
Read Now

3
by Vaccaro, Alfredo
Published 2020
MDPI - Multidisciplinary Digital Publishing Institute
Subjects: “...case-based reasoning...”
Cover Image
Read Now

4
by Törngren, Martin
Published 2021
MDPI - Multidisciplinary Digital Publishing Institute
Subjects: “...ampliative reasoning mechanism...”
Cover Image
Read Now

5
by Gao, Yuan
Published 2020
MDPI - Multidisciplinary Digital Publishing Institute
Subjects: “...evidential reasoning...”