Search Results for Logic.

394 sonuç bulundu

Tümünü Seç

1 2 3 4 5 .. 33

000000000000DEFAULTTR

Johan van Benthem on Logic and Information Dynamics

Yazar

Baltag, Alexandru. editor.

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

Format:

Electronic Resources

Alıntı:

Johan van Benthem on Logic and Information Dynamics Baltag, Alexandru. editor.

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

Quantifiers, Quantifiers, and Quantifiers: Themes in Logic, Metaphysics, and Language

Yazar

Torza, Alessandro. editor.

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

Format:

Electronic Resources

Alıntı:

Quantifiers, Quantifiers, and Quantifiers: Themes in Logic, Metaphysics, and Language Torza

Logic Functions and Equations Binary Models for Computer Science

Yazar

Posthoff, Christian. author.

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

Format:

Electronic Resources

Alıntı:

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

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.

Pristine Perspectives on Logic, Language, and Computation ESSLLI 2012 and ESSLLI 2013 Student Sessions. Selected Papers

Yazar

Colinet, Margot. editor.

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

Format:

Electronic Resources

Alıntı:

Pristine Perspectives on Logic, Language, and Computation ESSLLI 2012 and ESSLLI 2013 Student

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

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

Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings

Yazar

Codish, Michael. editor.

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

Format:

Electronic Resources

Alıntı:

Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4

10.

Functional and Logic Programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings

Yazar

Kiselyov, Oleg. editor.

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

Format:

Electronic Resources

Alıntı:

Functional and Logic Programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6

11.

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

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

12.

Logic, Rewriting, and Concurrency Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday

Yazar

Martí-Oliet, Narciso. editor.

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

Format:

Electronic Resources

Alıntı:

Logic, Rewriting, and Concurrency Essays Dedicated to José Meseguer on the Occasion of His 65th

Tümünü Seç

1 2 3 4 5 .. 33

394 sonuç bulundu

	{displayName}	{count}
{error}