1
Publicerad 2006
Innehållsförteckning: ... -- Distributed Data Structures: A Survey on Informative Labeling Schemes -- From Deduction Graphs to Proof Nets...
Hämta fulltext
Elektronisk E-bok