Search Results for Mathematical models.

Logic Functions and Equations Binary Models for Computer Science

Yazar

Posthoff, Christian. author.

https://doi.org/10.1007/978-3-030-02420-8

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Foundations. https://scigraph.springernature.com/ontologies/product-market

Handbook of Model Checking

Yazar

Clarke, Edmund M. editor.

https://doi.org/10.1007/978-3-319-10575-8

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Foundations. http://scigraph.springernature.com/things/product-market-codes

A Model–Theoretic Approach to Proof Theory

Yazar

Kotlarski, Henryk. author.

https://doi.org/10.1007/978-3-030-28921-8

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Foundations. https://scigraph.springernature.com/ontologies/product-market

Springer Handbook of Model-Based Science

Yazar

Magnani, Lorenzo. editor.

https://doi.org/10.1007/978-3-319-30526-4

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Foundations. http://scigraph.springernature.com/things/product-market-codes

Special Topics in Mathematics for Computer Scientists Sets, Categories, Topologies and Measures

Yazar

Doberkat, Ernst-Erich. author.

http://dx.doi.org/10.1007/978-3-319-22750-4

Format:

Electronic Resources

Alıntı:

Special Topics in Mathematics for Computer Scientists Sets, Categories, Topologies and Measures /

The Incomputable Journeys Beyond the Turing Barrier

Yazar

Cooper, S. Barry. editor.

https://doi.org/10.1007/978-3-319-43669-2

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Foundations. http://scigraph.springernature.com/things/product-market-codes

Temporal Type Theory A Topos-Theoretic Approach to Systems and Behavior

Yazar

Schultz, Patrick. author.

https://doi.org/10.1007/978-3-030-00704-1

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Foundations. https://scigraph.springernature.com/ontologies/product-market

	{displayName}	{count}
{error}