Search Results for Mathematical logic.

Automated Deduction in Geometry 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers

Yazar

Botana, Francisco. editor.

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

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages.

Topics in Theoretical Computer Science The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papers

Yazar

Hajiaghayi, Mohammad Taghi. editor.

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

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages.

Foundation Mathematics for Computer Science A Visual Approach

Yazar

Vince, John. author.

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

Format:

Electronic Resources

Alıntı:

Foundation Mathematics for Computer Science A Visual Approach / Vince, John. author.

Combinatorial Algorithms 30th International Workshop, IWOCA 2019, Pisa, Italy, July 23–25, 2019, Proceedings

Yazar

Colbourn, Charles J. editor.

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

Format:

Electronic Resources

Alıntı:

Discrete Mathematics in Computer Science. https://scigraph.springernature.com/ontologies/product

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

Computer Algebra in Scientific Computing 16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Proceedings

Yazar

Gerdt, Vladimir P. editor.

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

Format:

Electronic Resources

Alıntı:

Discrete Mathematics in Computer Science.

Artificial Intelligence and Soft Computing 13th International Conference, ICAISC 2014, Zakopane, Poland, June 1-5, 2014, Proceedings, Part I

Yazar

Rutkowski, Leszek. editor.

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

Format:

Electronic Resources

Alıntı:

Analysis for the Combined Mathematical Model (Linear and Nonlinear) of the Water Distribution Network

	{displayName}	{count}
{error}