<--- Back to Details
First PageDocument Content
Science / Botanical nomenclature / Academic publishing / Flora of China / Flora treatise / Flora / Self-archiving / Open access / DELTA / Biology / Botany / Plant taxonomy
Date: 2011-10-11 08:45:04
Science
Botanical nomenclature
Academic publishing
Flora of China
Flora treatise
Flora
Self-archiving
Open access
DELTA
Biology
Botany
Plant taxonomy

Volume 98 Number[removed]Annals of the

Add to Reading List

Source URL: flora.huh.harvard.edu

Download Document from Source Website

File Size: 153,60 KB

Share Document on Facebook

Similar Documents

Medicine / Endocrine system / Anatomy / Prostate cancer / Histopathology / RTT / Prostate-specific antigen / Testosterone / Androgen receptor / Prostate / Quantifier

Towards Personalized Cancer Therapy Using Delta-Reachability Analysis∗ Bing Liu Soonho Kong

DocID: 1xVOI - View Document

Computational complexity theory / Theoretical computer science / Mathematical logic / NP-complete problems / Electronic design automation / Formal methods / Logic in computer science / Predicate logic / Boolean satisfiability problem / Quantifier / Limit of a function / Exponential time hypothesis

Delta-Decision Procedures for Exists-Forall Problems over the Reals Soonho Kong1 , Armando Solar-Lezama2 , and Sicun Gao3 1 Toyota Research Institute

DocID: 1xUN6 - View Document

Computational complexity theory / Theoretical computer science / Mathematical logic / NP-complete problems / Electronic design automation / Formal methods / Logic in computer science / Predicate logic / Boolean satisfiability problem / Quantifier / Limit of a function / Exponential time hypothesis

Delta-Decision Procedures for Exists-Forall Problems over the Reals Soonho Kong1 , Armando Solar-Lezama2 , and Sicun Gao3 1 Toyota Research Institute

DocID: 1xTsj - View Document

PDF Document

DocID: 1xNUr - View Document

PDF Document

DocID: 1xHlG - View Document