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 18 2024 at 20:16 UTC