Mechanizing UNITY in Isabelle
- 期刊名称ACM Transactions on Computational Logic
- 作者Paulson, Lawrence C.
- 卷第1卷
- 期第1期
- 印刷ISSN1529-3785
- 文件大小231.21KB
- 发表时间2000-7-1
- DOI10.1145/343369.343370
- 页码3-32
[ACM Press the fifth ACM conference - San Antonio, Texas, United States (2000.06.02-2000.06.07)] Proceedings of the fifth ACM conference on Digital libraries - DL '00 - KeyLinkingPritchett, Bob · 2000
[ACM Press the fifth ACM conference - San Antonio, Texas, United States (2000.06.02-2000.06.07)] Proceedings of the fifth ACM conference on Digital libraries - DL '00 - <i>Snowball</i>Agichtein, Eugene; Gravano, Luis · 2000
[ACM Press the fifth ACM conference - San Antonio, Texas, United States (2000.06.02-2000.06.07)] Proceedings of the fifth ACM conference on Digital libraries - DL '00 - CompusFekete, Jean-Daniel; Dufournaud, Nicole · 2000
[ACM Press the fifth ACM conference - San Antonio, Texas, United States (2000.06.02-2000.06.07)] Proceedings of the fifth ACM conference on Digital libraries - DL '00 - AcrophileLarkey, Leah S.; Ogilvie, Paul; Price, M. Andrew; Tamilio, Brenden · 2000
[ACM Press the fifth ACM conference - San Antonio, Texas, United States (2000.06.02-2000.06.07)] Proceedings of the fifth ACM conference on Digital libraries - DL '00 - GreenstoneWitten, Ian H.; Boddie, Stefan J.; Bainbridge, David; McNab, Rodger J. · 2000
[ACM Press the fifth ACM conference - San Antonio, Texas, United States (2000.06.02-2000.06.07)] Proceedings of the fifth ACM conference on Digital libraries - DL '00 - MiBiblioFernández, Lourdes; Sánchez, J. Alfredo; García, Alberto · 2000
[ACM Press the fifth ACM conference - San Antonio, Texas, United States (2000.06.02-2000.06.07)] Proceedings of the fifth ACM conference on Digital libraries - DL '00 - Beyond 2D imagesBrown, Michael S.; Seales, W. Brent · 2000
[ACM Press the fifth ACM conference - San Antonio, Texas, United States (2000.06.02-2000.06.07)] Proceedings of the fifth ACM conference on Digital libraries - DL '00 - The open video projectGeisler, Gary; Marchionini, Gary · 2000
Diarrhea and Clostridium difficile Infection in Latin American Patients with AIDSField F. Willingham, Eduardo Ticona Chavez, David N. Taylor, Anna B. Bowen, Andrea R. Crane, Aren L. Gottlieb, Michael K. Gayles, Kirstin F. Grahn, Victor Manuel Chavez Perez, Ines Salas Apolinario, Robert H. Gilman and The Working Group on AIDS in Peru · Clinical Infectious Diseases · 1998
"Words to Live by" from CervantesHenry Grattan Doyle, George F. Zook, Robert M. Hutchins, Robert Gordon Sproul, John W. Studebaker, Guy E. Snavely, Dennis Chavez, Walter Davenport, Malcolm Muir and Bennett A. Cerf · Hispania · 1947
Assessment of oral implant mobilityHugo Chavez; Lance F. Ortman; Robert L. DeFranco; John Medige · 1993
Concordance of IBS among monozgotic and dizygotic twinsTony Lembo; Mohammed S. Zaman; Norma F. Chavez; Robert Krueger; Michael P. Jones; Nicholas J. Talley · 2001
Representational Similarity of Social and Valence Information in the Medial pFCChavez, Robert S.; Heatherton, Todd F. · Journal of Cognitive Neuroscience · 2015
Structural Integrity of Frontostriatal Connections Predicts Longitudinal Changes in Self-esteemChavez, Robert S.; Heatherton, Todd F. · Social Neuroscience · 2016
Detection of G-quadruplex DNA in mammalian cellsHenderson, Alexander; Wu, Yuliang; Huang, Yu Chuan; Chavez, Elizabeth A.; Platt, Jesse; Johnson, F. Brad; Brosh, Robert M.; Sen, Dipankar; Lansdorp, Peter M. · Nucleic Acids Research · 2017
Individual differences in response of dorsomedial prefrontal cortex predict daily social behaviorPowers, Katherine E.; Chavez, Robert S.; Heatherton, Todd F. · Social Cognitive and Affective Neuroscience · 2015