1
Published 2005
Table of Contents: ...Independently Checkable Proofs from Decision Procedures: Issues and Progress -- Zap: Automated...
View full text
Electronic eBook
2
Published 2005
Table of Contents: ... for Solving Very Large Scale Instances of the Design Distribution Problem for Distributed Database Systems...
View full text
Electronic eBook