1
Argitaratua 2006
Aurkibidea: ... -- Distributed Data Structures: A Survey on Informative Labeling Schemes -- From Deduction Graphs to Proof Nets...
Testu osoa
Baliabide elektronikoa eBook
2
Argitaratua 2005
Aurkibidea: ... Bidirectionality from Nondeterministic Finite Automata -- Generating All Minimal Integral Solutions to Monotone...
Testu osoa
Baliabide elektronikoa eBook