Search Results for Mathematical logic.

735 sonuç bulundu

Tümünü Seç

1 2 3 4 5 6 .. 62

000000000000DEFAULTTR

37.

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

Mathematical Logic and Foundations.

38.

Principled Software Development Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday

Yazar

Müller, Peter. editor.

https://doi.org/10.1007/978-3-319-98047-8

Format:

Electronic Resources

Alıntı:

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

39.

Mathematics, Informatics, and Their Applications in Natural Sciences and Engineering AMINSE 2017, Tbilisi, Georgia, December 6-9

Yazar

Jaiani, George. editor.

https://doi.org/10.1007/978-3-030-10419-1

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Foundations. https://scigraph.springernature.com/ontologies/product-market

40.

Mobile Agent-Based Anomaly Detection and Verification System for Smart Home Sensor Networks

Yazar

Usman, Muhammad. author.

https://doi.org/10.1007/978-981-10-7467-7

Format:

Electronic Resources

Alıntı:

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

41.

Pluralism in Mathematics: A New Position in Philosophy of Mathematics

Yazar

Friend, Michèle. author.

http://dx.doi.org/10.1007/978-94-007-7058-4

Format:

Electronic Resources

Alıntı:

Pluralism in Mathematics: A New Position in Philosophy of Mathematics Friend, Michèle. author.

42.

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

Mathematical Logic and Foundations.

43.

Rough Sets International Joint Conference, IJCRS 2018, Quy Nhon, Vietnam, August 20-24, 2018, Proceedings

Yazar

Nguyen, Hung Son. editor.

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

Format:

Electronic Resources

Alıntı:

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

44.

An Introduction to the Technique of Formative Processes in Set Theory

Yazar

Cantone, Domenico. author.

https://doi.org/10.1007/978-3-319-74778-1

Format:

Electronic Resources

Alıntı:

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

45.

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

Mathematical Logic and Foundations.

46.

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

From Logic to Practice Italian Studies in the Philosophy of Mathematics / Lolli, Gabriele. editor.

47.

Modeling Companion for Software Practitioners

Yazar

Börger, Egon. author.

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

Format:

Electronic Resources

Alıntı:

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

48.

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

Mathematical Logic and Formal Languages.

Tümünü Seç

1 2 3 4 5 6 .. 62

735 sonuç bulundu

	{displayName}	{count}
{error}