Publication year: 2007
ISBN: 978-3-540-73433-8
Internet Resource: Please Login to download book
This volume constitutes the refereed proceedings of the Second International Conference on Algebraic Biology. The conference served as an interdisciplinary forum for the presentation of research on all aspects of the application of symbolic computation in biology, including computer algebra, computational logic, and related methods.
Subject: Computer Science, Erfüllbarkeitsproblem der Aussagenlogik, algorithm, algorithms, automata, calculi, calculus, computer algebra, dynamic systems, hybrid systems, logic, optimization, polynomial functions, semantics of programming, term rewriting, transformations of mod