Search Results for Computer logic.

12 sonuç bulundu

Tümünü Seç

000000000000DEFAULTTR

Krister Segerberg on Logic of Actions

Yazar

Trypuz, Robert. editor.

http://dx.doi.org/10.1007/978-94-007-7046-1

Format:

Electronic Resources

Alıntı:

Computer logic.

Dag Prawitz on Proofs and Meaning

Yazar

Wansing, Heinrich. editor.

http://dx.doi.org/10.1007/978-3-319-11041-7

Format:

Electronic Resources

Alıntı:

Computer logic.

Constructivity and Computability in Historical and Philosophical Perspective

Yazar

Dubucs, Jacques. editor.

http://dx.doi.org/10.1007/978-94-017-9217-2

Format:

Electronic Resources

Alıntı:

Logic, Epistemology, and the Unity of Science,

Applications of Conceptual Spaces The Case for Geometric Knowledge Representation

Yazar

Zenker, Frank. editor.

http://dx.doi.org/10.1007/978-3-319-15021-5

Format:

Electronic Resources

Alıntı:

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

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 ;

Handbook of Philosophical Logic Volume 17

Yazar

Gabbay, Dov M. editor.

http://dx.doi.org/10.1007/978-94-007-6600-6

Format:

Electronic Resources

Alıntı:

Handbook of Philosophical Logic Volume 17 / Gabbay, Dov M. editor.

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.

Epistemology, Context, and Formalism

Yazar

Lihoreau, Franck. editor.

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

Format:

Electronic Resources

Alıntı:

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

The Cognitive Foundations of Group Attitudes and Social Interaction

Yazar

Herzig, Andreas. editor.

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

Format:

Electronic Resources

Alıntı:

, psychology, logic, and computer science. Interdisciplinary in scope and comprehensive detail, this volume

10.

Mereology and the Sciences Parts and Wholes in the Contemporary Scientific Context

Yazar

Calosi, Claudio. editor.

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

Format:

Electronic Resources

Alıntı:

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

11.

Johan van Benthem on Logic and Information Dynamics

Yazar

Baltag, Alexandru. editor.

http://dx.doi.org/10.1007/978-3-319-06025-5

Format:

Electronic Resources

Alıntı:

Johan van Benthem on Logic and Information Dynamics Baltag, Alexandru. editor.

12.

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}