You're using an ancient browser to surf the modern web. Please update to the latest version (and don't use Internet Explorer!).

Leonardi.DB
a logical geometry project

FCR 2024: Proceedings of the 10th Workshop on Formal and Cognitive Reasoning, co-located with the 47th German Conference on Artificial Intelligence (KI 2023) (2024)

Publisher
CEUR-WS
Series
CEUR Workshop Proceedings 3763
Language
English
Alternative url

The database contains 1 chapter from this book, with a total of 0 diagrams.

Vonlanthen, Simon Dominik, and Matteo Pascucci. 2024. “Modal Categorical Inferences in Quarc.” (0 diagrams)
 
↑ Back to top ↑