[Lecture Notes in Mathematics] Cambridge Summer School in Mathematical Logic Volume 337 || Admissible ordinals and priority arguments
- 作者Mathias, A. R. D.; Rogers, H.
- 文件大小2251.21KB
- 发表时间1973
- DOI10.1007/BFb0066780
- 页码311-344
[IEEE 2017 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) - Irvine, CA (2017.11.13-2017.11.16)] 2017 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) - ASAP7 predictive design kit development and cell design technology co-optimization: Invited paperVashishtha, Vinay; Vangala, Manoj; Clark, Lawrence T. · 2017
[ACM Press the 2017 IEEE/ACM International Conference - Sydney, Australia (2017.07.31-2017.08.03)] Proceedings of the 2017 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining 2017 - ASONAM '17 - Link Clustering for Extracting Collaborative Patterns in a Scientific Co-Authored NetworkStattner, Erick; Collard, Martine · 2017
[IEEE 2017 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) - Irvine, CA (2017.11.13-2017.11.16)] 2017 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) - IR-drop aware Design & technology co-optimization for N5 node with different device and cell height optionsMattii, Luca; Milojevic, Drago Mir; Debacker, Peter; Sherazi, Yasser; Berekovic, Mladen; Raghavan, Praveen · 2017