1
Julkaistu 2006
Sisällysluettelo: ... -- Distributed Data Structures: A Survey on Informative Labeling Schemes -- From Deduction Graphs to Proof Nets...
Hae kokoteksti
Elektroninen E-kirja