Algebraic proof systems over formulas
- 作者Dima Grigoriev; Edward A. Hirsch
- 卷第303卷
- 期第1期
- 印刷ISSN0304-3975
- 文件大小306.57KB
- 发表时间2003
- DOI10.1016/s0304-3975(02)00446-2
- 页码83-102
Blood culture-negative endocarditisFournier, Pierre-Edouard; Gouriet, Frédérique; Casalta, Jean-Paul; Lepidi, Hubert; Chaudet, Hervé; Thuny, Franck; Collart, Frédéric; Habib, Gilbert; Raoult, Didier · Medicine · 2017
Hemoptysis in Lung Transplant RecipientsPlantier, Laurent; Mal, Hervé; Brugière, Olivier; Castier, Yves; Taillé, Camille; Lesèche, Guy; Fournier, Michel · Chest · 2006
Purification of testosterone 5∝-reductase from human prostate by a four-step chromatographic procedureEric Quemener; Yolande Amet; Sylvie di Stefano; Georges Fournier; Hervé-Henri Floch; Jean-Hervé Abalain · 1994
Epidemiologic and Clinical Characteristics of Bartonella quintana and Bartonella henselae EndocarditisFOURNIER, PIERRE-EDOUARD; LELIEVRE, HERVÉ; EYKYN, SUSANNAH J.; MAINARDI, JEAN-LUC; MARRIE, THOMAS J.; BRUNEEL, FABRICE; ROURE, CHANTAL; NASH, JAMES; CLAVE, DANIÈLE; JAMES, EDWARD; BENOIT-LEMERCIER, CATHERINE; DEFORGES, LIONEL; TISSOT-DUPONT, HERVÉ; RAOULT, DIDIER · Medicine · 2001
A degree bound on decomposable treesDominique Barth; Hervé Fournier · 2006
Universal relations and #P-completenessHervé Fournier; Guillaume Malod · 2008
Reply to Falagas et al.Richet, Hervé M.; Fournier, Pierre‐Edouard · Clinical Infectious Diseases · 2006
Transplantations pulmonairesMal, Hervé; Brugière, Olivier; Thabut, Gabriel; Fournier, Michel · EMC - Pneumologie · 2004