From: li yongjian <lyj238@gmail.com> Hi, all users: Do anyone know some formal theory on Social network, and some formalization in a theorem prover?
regards!
Last updated: May 06 2024 at 12:29 UTC