Lyon, T. S., & Karge, J. (2024). Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents.
Style de citation Chicago (17e éd.)Lyon, Tim S., et Jonas Karge. Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents. 2024.
Style de citation MLA (9e éd.)Lyon, Tim S., et Jonas Karge. Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents. 2024.
Attention : ces citations peuvent ne pas être correctes à 100%.