[Lecture Notes in Computer Science] Automated Deduction - CADE-25 Volume 9195 || Expressing Symmetry Breaking in DRAT Proofs
- 作者Felty, Amy P.; Middeldorp, Aart
- 文件大小462.81KB
- 发表时间2015
- DOI10.1007/978-3-319-21401-6_40
- 页码591-606
Disorders of Thrombosis and Hemostasis in Pregnancy ||Cohen, Hannah; O'Brien, Patrick · 2012
Disorders of Thrombosis and Hemostasis in Pregnancy ||Cohen, Hannah; O'Brien, Patrick · 2015
Disorders of Thrombosis and Hemostasis in Pregnancy || Paroxysmal Nocturnal Hemoglobinuria in PregnancyCohen, Hannah; O'Brien, Patrick · 2015
Disorders of Thrombosis and Hemostasis in Pregnancy || Pregnancy Morbidity Associated with Thrombophilias: Recurrent MiscarriageCohen, Hannah; O'Brien, Patrick · 2015
Disorders of Thrombosis and Hemostasis in Pregnancy || Thrombotic and Hemostatic Aspects of Assisted ConceptionCohen, Hannah; O'Brien, Patrick · 2015
Disorders of Thrombosis and Hemostasis in Pregnancy || Acquired Bleeding Disorders in Pregnancy: Obstetric HemorrhageCohen, Hannah; O'Brien, Patrick · 2015
Disorders of Thrombosis and Hemostasis in Pregnancy || Inherited Bleeding Disorders in Pregnancy: Rare Coagulation Factor DefectsCohen, Hannah; O'Brien, Patrick · 2015
Disorders of Thrombosis and Hemostasis in Pregnancy || Thrombocytopenia in Pregnancy: Gestational Thrombocytopenia and Immune Thrombocytopenic PurpuraCohen, Hannah; O'Brien, Patrick · 2015