1
Được phát hành 2005
Mục lục: ...Independently Checkable Proofs from Decision Procedures: Issues and Progress -- Zap: Automated...
lấy văn bản
Điện tử eBook