1
Pubblicazione 2006
Sommario: ... -- Distributed Data Structures: A Survey on Informative Labeling Schemes -- From Deduction Graphs to Proof Nets...
Testo
Elettronico eBook