Combining representation formalisms for reasoning upon mathematical knowledge - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Mathieu d'Aquin, Renata Bunoiu, Horatiu Cirstea, Michel Lenczner, Jean Lieber, Frédéric Zamkotsian. Combining representation formalisms for reasoning upon mathematical knowledge. In Kristen Brent Venable, Daniel Garijo, Brian Jalaian, editors, Proceedings of the 12th Knowledge Capture Conference 2023, K-CAP 2023, Pensacola, FL, USA, December 5-7, 2023. pages 180-187, ACM, 2023. [doi]

This author has not been identified. Look up 'Mathieu d'Aquin' in GoogleThis author has not been identified. Look up 'Renata Bunoiu' in GoogleThis author has not been identified. Look up 'Horatiu Cirstea' in GoogleThis author has not been identified. Look up 'Michel Lenczner' in GoogleThis author has not been identified. Look up 'Jean Lieber' in GoogleThis author has not been identified. Look up 'Frédéric Zamkotsian' in Google

runs on WebDSL