Search Results for Logic.

349 sonuç bulundu

Tümünü Seç

1 2 3 4 5 .. 30

000000000000DEFAULTTR

Dynamic logic

Yazar

Harel, David, 1950-

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

Format:

Electronic Resources

Alıntı:

Dynamic logic / Harel, David, 1950-

Krister Segerberg on Logic of Actions

Yazar

Trypuz, Robert. editor.

http://dx.doi.org/10.1007/978-94-007-7046-1

Format:

Electronic Resources

Alıntı:

Krister Segerberg on Logic of Actions Trypuz, Robert. editor.

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

Representation Theorems in Computer Science A Treatment in Logic Engineering

Yazar

Özçep, Özgür Lütfü. author.

https://doi.org/10.1007/978-3-030-25785-9

Format:

Electronic Resources

Alıntı:

Representation Theorems in Computer Science A Treatment in Logic Engineering / Özçep, Özgür Lütfü

Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applications

Yazar

O'Regan, Gerard. author.

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

Format:

Electronic Resources

Alıntı:

Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and

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 .. 30

349 sonuç bulundu

	{displayName}	{count}
{error}