Items where Author is "A.Manaf, Nurulhuda"

[up] Up a level
Group by: Item Type | No Grouping
Number of items: 1.

A.Manaf, Nurulhuda and Zainal Abidin, Nor Najihah and Jamaludin, Nur Amalina (2021) Correctness of automatically generated choreography specifications. In: Declarative Ai 2021: The 5th International Joint Conference on Rules and Reasoning (RuleML+RR 2021), 13 - 15 September 2021, Kennedy Commons, Stanford (via virtual conference). (Submitted)

This list was generated on Fri Apr 11 18:17:31 2025 +08.