Search Results for Logic.

484 sonuç bulundu

Tümünü Seç

1 2 3 4 5 .. 41

000000000000DEFAULTTR

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

On Sets and Graphs Perspectives on Logic and Combinatorics

Yazar

Omodeo, Eugenio G. author.

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

Format:

Electronic Resources

Alıntı:

Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I

Applied Logic for Computer Scientists Computational Deduction and Formal Proofs

Yazar

Ayala-Rincón, Mauricio. author.

https://doi.org/10.1007/978-3-319-51653-0

Format:

Electronic Resources

Alıntı:

Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I

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

Inductive Logic Programming 28th International Conference, ILP 2018, Ferrara, Italy, September 2–4, 2018, Proceedings

Yazar

Riguzzi, Fabrizio. editor. (orcid)0000-0003-1654-9703

https://doi.org/10.1007/978-3-319-99960-9

Format:

Electronic Resources

Alıntı:

Inductive Logic Programming 28th International Conference, ILP 2018, Ferrara, Italy, September 2–4

Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings

Yazar

Ghosh, Sujata. editor.

https://doi.org/10.1007/978-3-662-54069-5

Format:

Electronic Resources

Alıntı:

Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I

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.

Logic, Rationality, and Interaction 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings

Yazar

Baltag, Alexandru. editor.

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

Format:

Electronic Resources

Alıntı:

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

11.

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

12.

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

Tümünü Seç

1 2 3 4 5 .. 41

484 sonuç bulundu

	{displayName}	{count}
{error}