Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss
[isabelle] Formalization of Social network(SN)
7 views
Skip to first unread message
li yongjian
Oct 19, 2012, 4:12:11 AM10/19/12
to isabelle-users
Hi, all users:
Do anyone know some formal theory on Social network, and some
formalization in
a theorem prover?
regards!
Do anyone know some formal theory on Social network, and some
formalization in
a theorem prover?
regards!
0 new messages