1
Gepubliceerd in 2005
Inhoudsopgave: ...Independently Checkable Proofs from Decision Procedures: Issues and Progress -- Zap: Automated...
Volledige tekst
Elektronisch E-boek
2
Gepubliceerd in 2005
Inhoudsopgave: ... for Solving Very Large Scale Instances of the Design Distribution Problem for Distributed Database Systems...
Volledige tekst
Elektronisch E-boek