Search Results for Mathematical logic.

20 sonuç bulundu

Tümünü Seç

1 2

000000000000DEFAULTTR

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

Description Logics in Multimedia Reasoning

Yazar

Sikos, Leslie F. author.

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

Format:

Electronic Resources

Alıntı:

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

Logic Programming and Nonmonotonic Reasoning 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings

Yazar

Balduccini, Marcello. editor.

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

Format:

Electronic Resources

Alıntı:

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

Relational and Algebraic Methods in Computer Science 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings

Yazar

Höfner, Peter. editor.

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

Format:

Electronic Resources

Alıntı:

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

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

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

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

Computer Science – Theory and Applications 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings

Yazar

Weil, Pascal. editor.

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

Format:

Electronic Resources

Alıntı:

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

Developments in Language Theory 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings

Yazar

Charlier, Émilie. editor.

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

Format:

Electronic Resources

Alıntı:

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

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

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

10.

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

11.

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

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

12.

Fundamentals of Computation Theory 21st International Symposium, FCT 2017, Bordeaux, France, September 11–13, 2017, Proceedings

Yazar

Klasing, Ralf. editor.

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

Format:

Electronic Resources

Alıntı:

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

	{displayName}	{count}
{error}