1
Udgivet 2005
Indholdsfortegnelse: ...Independently Checkable Proofs from Decision Procedures: Issues and Progress -- Zap: Automated...
Få fuldtekst
Electronisk eBog
2
Udgivet 2005
Indholdsfortegnelse: ... for Solving Very Large Scale Instances of the Design Distribution Problem for Distributed Database Systems...
Få fuldtekst
Electronisk eBog