海量图书期刊资源,随时随地畅享阅读乐趣
Detection of new spider toxins from a Nephilengys borbonica venom gland using on-line μ-column HPLC continuous flow (FRIT) FAB LC/MS and MS/MSYasuhiro Itagaki; Tsuyoshi Fujita; Hideo Naoki; Tadashi Yasuhara; Marta Andriantsiferana; Terumi Nakajima · 1997
Identification by flow cytometry of Seiridin, one of the main phytotoxins produced by three Seiridium species pathogenic to cypressAntonio Evidente; Anna Andolfi; Letizia D'Apice; Domenico Iannelli; Felice Scala · 1997
Evaluation of Alternaria and its mycotoxins during ensiling of sunflower seedsAna María Dacero; Mariana Combina; Miriam Etcheverry; Edith Varsavsky; María Inés Rodriguez · 1997
Fusarium toxins in wheat harvested during six years in an area of southwest GermanyHans-Martin Müller; Jens Reimann; Uwe Schumacher; Klaus Schwadorf · 1997
Identification and estimation of microcystins in freshwater musselsMariyo F. Watanabe; Ho-Dong Park; Fumio Kondo; Ken-ichi Harada; Hidetake Hayashi; Tokio Okino · 1997
A simple procedure for sulfation and 35S radiolabelling of paralytic shellfish poisoning (PSP) gonyautoxinsMaurice V. Laycock; Jaroslav Kralovec; Robert Richards · 1997
Evidence of osteolathyrism among patients suffering from neurolathyrism in BangladeshAnisul Haque; Muffazal Hossain; Fernand Lambein; E. Arthur Bell · 1997
Mass spectrometric structure determination of spider toxins: Arginine-containing acylpolyamines from venoms of Brazilian garden spider Nephilengys cruentataMario Sergio Palma; Yasuhiro Itagaki; Tsuyoshi Fujita; Miki Hisada; Hideo Naoki; Terumi Nakajima · 1997
Hilbert's Programs: 1917-1922Wilfried Sieg · The Bulletin of Symbolic Logic · 1999
Explicit Provability and Constructive SemanticsSergei N. Artemov · The Bulletin of Symbolic Logic · 2001
Foundations and Applications: Axiomatization and EducationF. William Lawvere · The Bulletin of Symbolic Logic · 2003
Developments in Constructive Nonstandard AnalysisErik Palmgren · The Bulletin of Symbolic Logic · 1998
The Discovery of My Completeness ProofsLeon Henkin · The Bulletin of Symbolic Logic · 1996
THE HYPERUNIVERSE PROGRAMTATIANA ARRIGONI and SY-DAVID FRIEDMAN · The Bulletin of Symbolic Logic · 2013
Logical Consequence RevisitedJosé M. Sagüillo · The Bulletin of Symbolic Logic · 1997
Logicality and InvarianceDenis Bonnay · The Bulletin of Symbolic Logic · 2008