Joining Formal and Cognitive Reasoning

Download PDF

Christoph Beierle, Marco Ragni, Frieder Stolzenburg, Matthias Thimm

Published: 01 Jan 2023, Last Modified: 11 Jun 2024FLAP 2023EveryoneRevisionsBibTeXCC BY-SA 4.0