1
Gepubliceerd in 2006
Inhoudsopgave: ... -- Distributed Data Structures: A Survey on Informative Labeling Schemes -- From Deduction Graphs to Proof Nets...
Volledige tekst
Elektronisch E-boek