Proceedings of the 1st International Workshop on Automated Reasoning with Connection Calculi (AReCCa 2023)
Book title Buchtitel
Proceedings of the 1st International Workshop on Automated Reasoning with Connection Calculi (AReCCa 2023)
Publisher Herausgeber
CEUR-WS.org
Series Schriftenreihe
CEUR Workshop Proceedings
Volume Band
3613
Access Type
Subject
Date issued
Results 1-1 of 1 (Search time: 0.002 seconds).