1
Izdano 2005
Kazalo: ...Independently Checkable Proofs from Decision Procedures: Issues and Progress -- Zap: Automated...
Polni tekst
Elektronski eKnjiga