Mathematical Theory and Computational Practice: 5th Conference on Computability
67,86 €
First-Order Universality for Real Programs. - Skolem + Tetration Is Well-Ordered. - Complexity of Existential Positive First-Order Logic. - Stochastic Programs and Hybrid Automata for (Biological) Modeling.
Jetzt bei Ebay:
