Search Results for Mathematical logic.

Nonsymmetric Operads in Combinatorics

Yazar

Giraudo, Samuele. author.

https://doi.org/10.1007/978-3-030-02074-3

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market

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

Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market

Application and Theory of Petri Nets and Concurrency 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings

Yazar

Khomenko, Victor. editor.

https://doi.org/10.1007/978-3-319-91268-4

Format:

Electronic Resources

Alıntı:

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

Computer Science – Theory and Applications 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6–10, 2018, Proceedings

Yazar

Fomin, Fedor V. editor.

https://doi.org/10.1007/978-3-319-90530-3

Format:

Electronic Resources

Alıntı:

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

Descriptional Complexity of Formal Systems 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25–27, 2018, Proceedings

Yazar

Konstantinidis, Stavros. editor.

https://doi.org/10.1007/978-3-319-94631-3

Format:

Electronic Resources

Alıntı:

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

Mathematical Software – ICMS 2018 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings

Yazar

Davenport, James H. editor. (orcid)0000-0002-3982-7545

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

Format:

Electronic Resources

Alıntı:

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

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

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

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

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

	{displayName}	{count}
{error}