Luo, Z., & Si, X. (2023). Chronosymbolic Learning: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning.
Style de citation Chicago (17e éd.)Luo, Ziyan, et Xujie Si. Chronosymbolic Learning: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning. 2023.
Style de citation MLA (9e éd.)Luo, Ziyan, et Xujie Si. Chronosymbolic Learning: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning. 2023.
Attention : ces citations peuvent ne pas être correctes à 100%.