Search Results for Mathematical logic.

743 sonuç bulundu

Tümünü Seç

1 .. 3 4 5 6 7 .. 62

000000000000DEFAULTTR

49.

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

50.

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

51.

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.

52.

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.

53.

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

54.

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.

55.

Logics for Computer Science Classical and Non-Classical

Yazar

Wasilewska, Anita. author.

https://doi.org/10.1007/978-3-319-92591-2

Format:

Electronic Resources

Alıntı:

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

56.

Intuitionistic Fuzzy Logics

Yazar

T. Atanassov, Krassimir. author.

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

Format:

Electronic Resources

Alıntı:

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

57.

The Handbook of Formal Methods in Human-Computer Interaction

Yazar

Weyers, Benjamin. editor.

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

Format:

Electronic Resources

Alıntı:

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

58.

Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer

Yazar

Atten, Mark van. author.

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

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Foundations.

59.

Coalgebraic Methods in Computer Science 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018, Revised Selected Papers

Yazar

Cîrstea, Corina. editor. (orcid)0000-0003-3165-5678

https://doi.org/10.1007/978-3-030-00389-0

Format:

Electronic Resources

Alıntı:

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

60.

Controlling Language in Industry Controlled Languages for Technical Documents

Yazar

Crabbe, Stephen. author.

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

Format:

Electronic Resources

Alıntı:

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

Tümünü Seç

1 .. 3 4 5 6 7 .. 62

743 sonuç bulundu

	{displayName}	{count}
{error}