Interaction of CRH and energy balance in the modulation of brain stimulation reward.
- 期刊名称Behavioral Neuroscience
- 作者Fulton, Stephanie; Richard, Denis; Woodside, Barbara; Shizgal, Peter
- 卷第116卷
- 期第4期
- 印刷ISSN0735-7044
- 电子ISSN1939-0084
- 文件大小403.60KB
- 发表时间2002
- DOI10.1037/0735-7044.116.4.651
- 页码651-659
Program Logics for Certified Compilers || IntroductionAppel, Andrew W.; Dockins, Robert; Hobor, Aquinas; Beringer, Lennart; Dodds, Josiah; Stewart, Gordon; Blazy, Sandrine; Leroy, Xavier · 2014
Program Logics for Certified Compilers || CompCertAppel, Andrew W.; Dockins, Robert; Hobor, Aquinas; Beringer, Lennart; Dodds, Josiah; Stewart, Gordon; Blazy, Sandrine; Leroy, Xavier · 2014
Program Logics for Certified Compilers || ApplicationsAppel, Andrew W.; Dockins, Robert; Hobor, Aquinas; Beringer, Lennart; Dodds, Josiah; Stewart, Gordon; Blazy, Sandrine; Leroy, Xavier · 2014
Program Logics for Certified Compilers || BibliographyAppel, Andrew W.; Dockins, Robert; Hobor, Aquinas; Beringer, Lennart; Dodds, Josiah; Stewart, Gordon; Blazy, Sandrine; Leroy, Xavier · 2014
Program Logics for Certified Compilers || Road mapAppel, Andrew W.; Dockins, Robert; Hobor, Aquinas; Beringer, Lennart; Dodds, Josiah; Stewart, Gordon; Blazy, Sandrine; Leroy, Xavier · 2014
Program Logics for Certified Compilers || Hoare logicAppel, Andrew W.; Dockins, Robert; Hobor, Aquinas; Beringer, Lennart; Dodds, Josiah; Stewart, Gordon; Blazy, Sandrine; Leroy, Xavier · 2014
Program Logics for Certified Compilers || Separation logicAppel, Andrew W.; Dockins, Robert; Hobor, Aquinas; Beringer, Lennart; Dodds, Josiah; Stewart, Gordon; Blazy, Sandrine; Leroy, Xavier · 2014
Program Logics for Certified Compilers || Separation algebrasAppel, Andrew W.; Dockins, Robert; Hobor, Aquinas; Beringer, Lennart; Dodds, Josiah; Stewart, Gordon; Blazy, Sandrine; Leroy, Xavier · 2014