Search Results for Philosophy.

6 sonuç bulundu

Tümünü Seç

000000DEFAULTTR

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ı:

philosophy of computing, lowness notions in computability, probabilistic programming and higher-order

Logic, Rationality, and Interaction 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings

Yazar

Baltag, Alexandru. editor.

https://doi.org/10.1007/978-3-662-55665-8

Format:

Electronic Resources

Alıntı:

Representation -- Cooperation, Decision Making and Planning -- Natural Language -- Philosophy and

Unveiling Dynamics and Complexity 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings

Yazar

Kari, Jarkko. editor.

https://doi.org/10.1007/978-3-319-58741-7

Format:

Electronic Resources

Alıntı:

-- History and philosophy of computing.

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ı:

interest include mathematical and philosophical logic, computer science logic, foundations and philosophy

Logic and Its Applications 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings

Yazar

Banerjee, Mohua. editor.

http://dx.doi.org/10.1007/978-3-662-45824-2

Format:

Electronic Resources

Alıntı:

philosophy of mathematics and the sciences, set theory, model theory, proof theory, areas of theoretical

Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings

Yazar

van der Hoek, Wiebe. editor.

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

Format:

Electronic Resources

Alıntı:

disciplines as diverse as game theory and decision theory, philosophy and epistemology, linguistics, computer

Tümünü Seç

6 sonuç bulundu

	{displayName}	{count}
{error}