1
出版 2005
书本目录: ... -- Constraint Solving for Contract-Signing Protocols -- A Ground-Complete Axiomatization of Finite State...
获取全文
电子 电子书
2
出版 2007
书本目录: ... Models: Ordering-Search Versus Structure-Search -- A Simple Lexicographic Ranker and Probability...
获取全文
电子 电子书