MizAR 40 for Mizar 40
- 期刊名称Journal of Automated Reasoning
- 作者Kaliszyk, Cezary; Urban, Josef
- 卷第55卷
- 期第3期
- 印刷ISSN0168-7433
- 电子ISSN1573-0670
- 文件大小224.25KB
- 发表时间2015-10
- DOI10.1007/s10817-015-9330-8
- 页码245-256
The intravertebral vacuum phenomenonWolfgang Kumpan; Erich Salomonowitz; Gerald Seidl; Gerhard R. Wittich · 1986
Vertebral vacuum phenomenonStephen I. Schabel; Timothy E. Moore; Gerald M. Rittenberg; John H. Stanley; Leighton H. Javid · 1979
VACUUM PHENOMENON IN TWELVE DOGSWilliam J. Weber; Clifford R. Berry; Robert W. Kramer · 1995
Conditioning phenomenon in vacuum dischargeV. I. Eshkenazi · 1968
The intravertebral vacuum phenomenonErhan Akpinar; Baris Turkbey; Bagdat Medeyev; Munci Oran · 2008
Intravertebral vacuum phenomenonG. Harverson · 1988
Vacuum phenomenon: Clinical relevanceGohil, Ishan; Vilensky, Joel A.; Weber, Edward C. · Clinical Anatomy · 2014
The Vacuum PhenomenonStallenberg, Bernard; Madani, Afarine; Burny, Franz; Gevenois, Pierre Alain · American Journal of Roentgenology · 2001
Imaging of acute pulmonary embolismKomissarova, Maria; Chong, Suzanne; Frey, Kirk; Sundaram, Baskaran · Emergency Radiology · 2013
Imaging of traumatic adrenal injuryToâo, Katherine J.; Duddalwar, Vinay A. · Emergency Radiology · 2012
25th Anniversary ASER Annual MeetingEmergency Radiology · 2014
Core curriculum illustration: infectious aortitisMann, F. A. · Emergency Radiology · 2014
Core curriculum illustration: pneumothoraxBlomquist, Gustav; Nickels, David; Merhar, Gary; Mann, Fred · Emergency Radiology · 2013
Systemic plumbism following remote ballistic injuryRheinboldt, Matthew; Francis, Kirenza · Emergency Radiology · 2014
MDCT of acute cecal conditionsHeller, Matthew T.; Bhargava, Puneet · Emergency Radiology · 2014
Kidney–pancreas transplantationMatthew T. Heller,Alexander Hattoum · Emergency Radiology · 2012