Вы здесь

Главная

дерево вычислений

Связанные издания:

Bioinformatics Research and Applications: Proc./5th International Symposium, ISBRA 2009, Fort Lauderdale,FL,USA,May 2009
Model Checking Quantified Computation Tree Logic
SAT vs. SMV for automatic validation of tabular property of superintuitionistic logics