skip to main content
Language:
Search Limited to: Search Limited to: Resource type Show Results with: Show Results with: Search type Index

Sharp: Short Relaxed Range Proofs

Attribution ;ISBN: 1450394507 ;ISBN: 9781450394505 ;DOI: 10.1145/3548606.3560628

Digital Resources/Online E-Resources

Citations Cited by
Back to results list
INSPIRE LIBRARY - TON DUC THANG UNIVERSITY (84-028) 37 755 057 Feedback
19 Nguyen Huu Tho St. Dist.7, HCM thuvien@tdtu.edu.vn

Copyright © 2017 INSPIRE LIBRARY - TON DUC THANG UNIVERSITY

Searching Remote Databases, Please Wait