Search Results for Computer logic.

Formal Methods for Nonmonotonic and Related Logics Vol I: Preference and Size

Yazar

Schlechta, Karl. author.

https://doi.org/10.1007/978-3-319-89653-3

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market

Formal Methods for Nonmonotonic and Related Logics Vol II: Theory Revision, Inheritance, and Various Abstract Properties

Yazar

Schlechta, Karl. author.

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

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market

Computational Artifacts Towards a Philosophy of Computer Science

Yazar

Turner, Raymond. author.

https://doi.org/10.1007/978-3-662-55565-1

Format:

Electronic Resources

Alıntı:

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

Bas van Fraassen’s Approach to Representation and Models in Science

Yazar

Gonzalez, Wenceslao J. editor.

http://dx.doi.org/10.1007/978-94-007-7838-2

Format:

Electronic Resources

Alıntı:

Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ;

Representation and Reality in Humans, Other Living Organisms and Intelligent Machines

Yazar

Dodig-Crnkovic, Gordana. editor.

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

Format:

Electronic Resources

Alıntı:

-- Exploiting Body Morphology for Control -- A Logic for Ontologies and Semantic Search Engines -- Models, Maps

Temporal Points of View Subjective and Objective Aspects

Yazar

Vázquez Campos, Margarita. editor.

http://dx.doi.org/10.1007/978-3-319-19815-6

Format:

Electronic Resources

Alıntı:

Computer simulation.

New Directions in the Philosophy of Science

Yazar

Galavotti, Maria Carla. editor.

http://dx.doi.org/10.1007/978-3-319-04382-1

Format:

Electronic Resources

Alıntı:

-- Chapter 2: The Proof Is in the Process. A Preamble for a Philosophy of Computer-assisted Mathematics

	{displayName}	{count}
{error}