原名:Petri nets, Horn programs, Linear Logic and vector games
作品简介:作者：S.阿尔特莫夫。摘要 E-mail: sergei@artemov.mian.su, .. 游戏位置 P 可以表示为 25 维向量。 (d,[Ic,, .. 第四届 IEEE 计算机科学逻辑研讨会，费城 (1989) 175-185。……
资源下载
VIP免费升级VIP
原名:Petri nets, Horn programs, Linear Logic and vector games
作品简介:作者：S.阿尔特莫夫。摘要 E-mail: sergei@artemov.mian.su, .. 游戏位置 P 可以表示为 25 维向量。 (d,[Ic,, .. 第四届 IEEE 计算机科学逻辑研讨会，费城 (1989) 175-185。……
