MPG.eBooks - Search Results - "logic programming"

Cover Image

1

Computational Methods in Systems Biology : 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings

Published 2015

Springer International Publishing

“... such as model checking, stochastic analysis, hybrid systems, circadian clock, time series data, logic...”

Cover Image

2

Computational Methods in Systems Biology : 18th International Conference, CMSB 2020, Konstanz, Germany, September 23–25, 2020, Proceedings

Published 2020

Springer International Publishing

Table of Contents: “... of Quadratization for Polynomial Differential Equations -- Comparing Probabilistic and Logic Programming Approaches...”