1st International Workshop on Automated Reasoning with Connection Calculi (AReCCa 2023)
Event name
1st International Workshop on Automated Reasoning with Connection Calculi (AReCCa 2023)
Event type
Event for scientific audience
Start date
18-09-2023
End date
18-09-2023
Location
Prag
Country
Czech Republic
Conference Track
Single Track
Organizing institution Veranstaltende Institution
CTU
Event format Veranstaltungsformat
On Site
Access Type
Subject
Date issued
Results 1-1 of 1 (Search time: 0.002 seconds).