Search Results for History.

22 sonuç bulundu

Tümünü Seç

1 2

000000000000DEFAULTTR

From Logic to Practice Italian Studies in the Philosophy of Mathematics

Yazar

Lolli, Gabriele. editor.

http://dx.doi.org/10.1007/978-3-319-10434-8

Format:

Electronic Resources

Alıntı:

Boston Studies in the Philosophy and History of Science,

Recent Developments in the Philosophy of Science: EPSA13 Helsinki

Yazar

Mäki, Uskali. editor.

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

Format:

Electronic Resources

Alıntı:

History and Philosophical Foundations of Physics.

Scientific Objectivity and Its Contexts

Yazar

Agazzi, Evandro. author.

http://dx.doi.org/10.1007/978-3-319-04660-0

Format:

Electronic Resources

Alıntı:

History and Philosophical Foundations of Physics.

Categories and Types in Logic, Language, and Physics Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday

Yazar

Casadio, Claudia. editor.

http://dx.doi.org/10.1007/978-3-642-54789-8

Format:

Electronic Resources

Alıntı:

History of Computing.

Where is the Gödel-point hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Constructive Ordinals

Yazar

Horská, Anna. author.

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

Format:

Electronic Resources

Alıntı:

and students who work on proof theory, history of proof theory or Hilbert's program and who do not

Computing with Foresight and Industry 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019, Proceedings

Yazar

Manea, Florin. editor.

https://doi.org/10.1007/978-3-030-22996-2

Format:

Electronic Resources

Alıntı:

conference CiE 2018 had the following six special sessions: computational neuroscience, history and

Pursuit of the Universal 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings

Yazar

Beckmann, Arnold. editor.

http://dx.doi.org/10.1007/978-3-319-40189-8

Format:

Electronic Resources

Alıntı:

: computable and constructive analysis; computation in biological systems; history and philosophy of computing

Coalgebraic Methods in Computer Science 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers

Yazar

Bonsangue, Marcello M. editor.

http://dx.doi.org/10.1007/978-3-662-44124-4

Format:

Electronic Resources

Alıntı:

–Coalgebraic Recursion Theory of History-Dependent Dynamical System Models.

Logic and Its Applications 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings

Yazar

Khan, Md. Aquil. editor.

https://doi.org/10.1007/978-3-662-58771-3

Format:

Electronic Resources

Alıntı:

intelligence -- Logic and Linguistics. History of logic -- Indian systems of logic.

10.

Axiomatic Method and Category Theory

Yazar

Rodin, Andrei. author.

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

Format:

Electronic Resources

Alıntı:

Introduction -- Part I A Brief History of the Axiomatic Method -- Chapter 1. Euclid: Doing and

11.

Hybrid Metaheuristics 10th International Workshop, HM 2016, Plymouth, UK, June 8-10, 2016, Proceedings

Yazar

Blesa, Maria J. editor.

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

Format:

Electronic Resources

Alıntı:

-- Hybridization of Chaotic Systems and Success-History Based Adaptive Differential Evolution -- Tabu Search

12.

Quantifiers, Quantifiers, and Quantifiers: Themes in Logic, Metaphysics, and Language

Yazar

Torza, Alessandro. editor.

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

Format:

Electronic Resources

Alıntı:

philosophy that spans across multiple areas such as logic, metaphysics, epistemology, and even the history of

	{displayName}	{count}
{error}