1
Publié 2006
Table des matières: ... -- Distributed Data Structures: A Survey on Informative Labeling Schemes -- From Deduction Graphs to Proof Nets...
Accéder au texte intégral
Électronique eBook