logo
computational logic

컨퍼런스 결과 (1)

Logic Programming and Automated Reasoning (LPAR)

Rank: BOffline
Ravenala Attitude Hotel, Balaclava, Mauritius
May 26, 2024 - May 31, 2024
automated reasoningcomputational logicprogramming languages and their applications