Search Results for Philosophy

13 sonuç bulundu

Tümünü Seç

1 2

000000000000DEFAULTTR

Computational Complexity of Solving Equation Systems

Yazar

Broniek, Przemysław. author.

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

Format:

Electronic Resources

Alıntı:

SpringerBriefs in Philosophy,

Algorithmic architecture

Yazar

Terzidis, Kostas

Format:

Kitap

Alıntı:

Architecture -- Philosophy.

On Meaningful Scientific Laws

Yazar

Falmagne, Jean-Claude. author.

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

Format:

Electronic Resources

Alıntı:

Philosophy and science.

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

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

Language, Life, Limits 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings

Yazar

Beckmann, Arnold. editor.

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

Format:

Electronic Resources

Alıntı:

and philosophy of computing, computability theory, online algorithms, and complexity in automata

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

Models of Strategic Reasoning Logics, Games, and Communities

Yazar

van Benthem, Johan. editor.

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

Format:

Electronic Resources

Alıntı:

, computer science, logic, linguistics, philosophy, and cognitive and social sciences. The chapters are

Artificial General Intelligence 7th International Conference, AGI 2014, Quebec City, QC, Canada, August 1-4, 2014. Proceedings

Yazar

Goertzel, Ben. editor.

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

Format:

Electronic Resources

Alıntı:

-- Neural-Symbolic Processing -- Perception and Perceptual Modeling -- Philosophy of AGI -- Reasoning, Inference and

10.

Artificial Life and Computational Intelligence First Australasian Conference, ACALCI 2015, Newcastle, NSW, Australia, February 5-7, 2015. Proceedings

Yazar

Chalup, Stephan K. editor.

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

Format:

Electronic Resources

Alıntı:

papers are organized in the following topical sections: philosophy and theory; game environments and

11.

Evolving Computability 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings

Yazar

Beckmann, Arnold. editor.

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

Format:

Electronic Resources

Alıntı:

; as well as History and Philosophy of Computing.

12.

Discovery Science 17th International Conference, DS 2014, Bled, Slovenia, October 8-10, 2014. Proceedings

Yazar

Džeroski, Sašo. editor.

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

Format:

Electronic Resources

Alıntı:

integration; logic and philosophy of scientific discovery; and applications of computational methods in

	{displayName}	{count}
{error}