发现好书期刊,享受阅读乐趣

海量图书期刊资源,随时随地畅享阅读乐趣

[IEEE Comput. Soc Fifteenth Annual IEEE Symposium on Logic in Computer Science (LICS 2000) - Santa Barbara, CA, USA (26-28 June 2000)] Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332) - Probabilistic game semantics

[IEEE Comput. Soc Fifteenth Annual IEEE Symposium on Logic in Computer Science (LICS 2000) - Santa Barbara, CA, USA (26-28 June 2000)] Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332) - Probabilistic game semantics

Danos, V.; Harmer, R.
  • 作者Danos, V.; Harmer, R.
  • 文件大小331.60KB
  • 发表时间2000
  • DOI10.1109/lics.2000.855770
  • 页码204-213
← 返回【学霸图书馆】主页