[Lecture Notes in Computer Science] Automated Deduction - CADE-25 Volume 9195 || SEPIA: Search for Proofs Using Inferred Automata
- 作者Felty, Amy P.; Middeldorp, Aart
- 文件大小505.31KB
- 发表时间2015
- DOI10.1007/978-3-319-21401-6_16
- 页码246-255
同作者推荐
Accessing new resources for drug discoverySylvie E. Blondelle · 1995
Understanding Biology Using Peptides ||Blondelle, Sylvie E. · 2006
Understanding Biology Using Peptides || New Cyclotide Precursor SequencesBlondelle, Sylvie E. · 2006
Understanding Biology Using Peptides || Steroid-Peptide ConjugatesBlondelle, Sylvie E. · 2006
Understanding Biology Using Peptides || Cyclic Modular β-SheetsBlondelle, Sylvie E. · 2006
Understanding Biology Using Peptides || Monomeric Analogs of HalocidinBlondelle, Sylvie E. · 2006
Understanding Biology Using Peptides || New Nomenclature for Complex CyclopeptidesBlondelle, Sylvie E. · 2006
Understanding Biology Using Peptides || β-Hairpin Minimization and OptimizationBlondelle, Sylvie E. · 2006