Search Results for Computer logic.

13.

Computability and Complexity Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday

Yazar

Day, Adam. editor.

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

Format:

Electronic Resources

Alıntı:

Discrete Mathematics in Computer Science. http://scigraph.springernature.com/things/product-market

14.

Business Process Management 15th International Conference, BPM 2017, Barcelona, Spain, September 10–15, 2017, Proceedings

Yazar

Carmona, Josep. editor. (orcid)0000-0001-9656-254X

https://doi.org/10.1007/978-3-319-65000-5

Format:

Electronic Resources

Alıntı:

Discrete Mathematics in Computer Science. http://scigraph.springernature.com/things/product-market

15.

Computability : Turing, Gödel, Church, and beyond

Yazar

Posy, Carl J, editor.

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

Format:

Electronic Resources

Alıntı:

discussions in philosophy, computer science, and cognitive science. In this volume, distinguished computer

16.

Graph-Theoretic Concepts in Computer Science 44th International Workshop, WG 2018, Cottbus, Germany, June 27–29, 2018, Proceedings

Yazar

Brandstädt, Andreas. editor.

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

Format:

Electronic Resources

Alıntı:

Graph-Theoretic Concepts in Computer Science 44th International Workshop, WG 2018, Cottbus, Germany

17.

Unveiling Dynamics and Complexity 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings

Yazar

Kari, Jarkko. editor.

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

Format:

Electronic Resources

Alıntı:

Discrete Mathematics in Computer Science. http://scigraph.springernature.com/things/product-market

18.

Theory and Applications of Satisfiability Testing – SAT 2018 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings

Yazar

Beyersdorff, Olaf. editor.

https://doi.org/10.1007/978-3-319-94144-8

Format:

Electronic Resources

Alıntı:

Discrete Mathematics in Computer Science. http://scigraph.springernature.com/things/product-market

19.

Graph Transformation 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings

Yazar

Lambers, Leen. editor. (orcid)0000-0001-6937-5167

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

Format:

Electronic Resources

Alıntı:

Discrete Mathematics in Computer Science. http://scigraph.springernature.com/things/product-market

20.

The Discrete Math Workbook A Companion Manual for Practical Study

Yazar

Kurgalin, Sergei. author.

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

Format:

Electronic Resources

Alıntı:

Discrete Mathematics in Computer Science. http://scigraph.springernature.com/things/product-market

	{displayName}	{count}
{error}