Search Results for Mathematical Logic and Formal Languages.

The Handbook of Formal Methods in Human-Computer Interaction

Yazar

Weyers, Benjamin. editor.

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

Format:

Electronic Resources

Alıntı:

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

Diagrammatic Representation and Inference 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings

Yazar

Chapman, Peter. editor. (orcid)0000-0002-5524-5780

https://doi.org/10.1007/978-3-319-91376-6

Format:

Electronic Resources

Alıntı:

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

KI 2014: Advances in Artificial Intelligence 37th Annual German Conference on AI, Stuttgart, Germany, September 22-26, 2014. Proceedings

Yazar

Lutz, Carsten. editor.

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

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages.

AI*IA 2018 – Advances in Artificial Intelligence XVIIth International Conference of the Italian Association for Artificial Intelligence, Trento, Italy, November 20–23, 2018, Proceedings

Yazar

Ghidini, Chiara. editor. (orcid)0000-0003-1563-4965

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

Format:

Electronic Resources

Alıntı:

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

KI 2016: Advances in Artificial Intelligence 39th Annual German Conference on AI, Klagenfurt, Austria, September 26-30, 2016, Proceedings

Yazar

Friedrich, Gerhard. editor.

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

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages.

KI 2015: Advances in Artificial Intelligence 38th Annual German Conference on AI, Dresden, Germany, September 21-25, 2015, Proceedings

Yazar

Hölldobler, Steffen. editor.

http://dx.doi.org/10.1007/978-3-319-24489-1

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages.

AI*IA 2015 Advances in Artificial Intelligence XIVth International Conference of the Italian Association for Artificial Intelligence, Ferrara, Italy, September 23-25, 2015, Proceedings

Yazar

Gavanelli, Marco. editor.

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

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages.

Case-Based Reasoning Research and Development 26th International Conference, ICCBR 2018, Stockholm, Sweden, July 9-12, 2018, Proceedings

Yazar

Cox, Michael T. editor.

https://doi.org/10.1007/978-3-030-01081-2

Format:

Electronic Resources

Alıntı:

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

	{displayName}	{count}
{error}