Search Results for Mathematical logic.

743 sonuç bulundu

Tümünü Seç

1 2 3 4 5 .. 62

000000000000DEFAULTTR

13.

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

Mathematical Logic and Formal Languages. https://scigraph.springernature.com/ontologies/product

14.

Combinatorics on Words 12th International Conference, WORDS 2019, Loughborough, UK, September 9–13, 2019, Proceedings

Yazar

Mercaş, Robert. editor. (orcid)0000-0001-6034-433X

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

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages. https://scigraph.springernature.com/ontologies/product

15.

Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Yazar

Bojańczyk, Mikołaj. editor.

https://doi.org/10.1007/978-3-030-17127-8

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages. https://scigraph.springernature.com/ontologies/product

16.

Description Logic, Theory Combination, and All That Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday

Yazar

Lutz, Carsten. editor.

https://doi.org/10.1007/978-3-030-22102-7

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages. https://scigraph.springernature.com/ontologies/product

17.

Logic, Rationality, and Interaction 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings

Yazar

Blackburn, Patrick. editor.

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

Format:

Electronic Resources

Alıntı:

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

18.

How to prove it : a structured approach

Yazar

Velleman, Daniel J.

Format:

Kitap

Alıntı:

Logic, Symbolic and mathematical.

19.

Mathematics and plausible reasoning

Yazar

Polya, George.

Format:

Kitap

Alıntı:

Logic, Symbolic and mathematical.

20.

Set theory and logic/ Robert R. Stoll.

Yazar

Stoll, Robert Roth.

Format:

Kitap

Alıntı:

Logic, symbolic and mathematical.

21.

Logic and information flow

Yazar

Eijck, J. van (Jan)

Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267445

Format:

Electronic Resources

Alıntı:

Logic, Symbolic and mathematical.

22.

Is God a mathematician?

Yazar

Livio, Mario.

Format:

Kitap

Alıntı:

Logic, Symbolic and mathematical.

23.

Introduction to Discrete Mathematics via Logic and Proof

Yazar

Jongsma, Calvin. author.

https://doi.org/10.1007/978-3-030-25358-5

Format:

Electronic Resources

Alıntı:

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

24.

Nonstandard Methods in Ramsey Theory and Combinatorial Number Theory

Yazar

Di Nasso, Mauro. author.

https://doi.org/10.1007/978-3-030-17956-4

Format:

Electronic Resources

Alıntı:

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

Tümünü Seç

1 2 3 4 5 .. 62

743 sonuç bulundu

	{displayName}	{count}
{error}