Sciweavers

34229 search results - page 399 / 6846
» Power-aware computing systems
Sort
View
TAMC
2010
Springer
15 years 4 months ago
Different Approaches to Proof Systems
Olaf Beyersdorff, Sebastian Müller