Search Results for Mathematical logic.

Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings

Yazar

Ghosh, Sujata. editor.

https://doi.org/10.1007/978-3-662-54069-5

Format:

Electronic Resources

Alıntı:

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

Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings

Yazar

Jansen, David N. editor. (orcid)0000-0002-6636-3301

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

Format:

Electronic Resources

Alıntı:

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

Multi-Agent Systems and Agreement Technologies 14th European Conference, EUMAS 2016, and 4th International Conference, AT 2016, Valencia, Spain, December 15-16, 2016, Revised Selected Papers

Yazar

Criado Pacheco, Natalia. editor.

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

Format:

Electronic Resources

Alıntı:

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

Frontiers of Combining Systems 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings

Yazar

Herzig, Andreas. editor. (orcid)0000-0003-0833-2782

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

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages. https://scigraph.springernature.com/ontologies/product

Multi-Agent Systems 12th European Conference, EUMAS 2014, Prague, Czech Republic, December 18-19, 2014, Revised Selected Papers

Yazar

Bulling, Nils. editor.

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

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages.

Multi-Agent Systems and Agreement Technologies 13th European Conference, EUMAS 2015, and Third International Conference, AT 2015, Athens, Greece, December 17-18, 2015, Revised Selected Papers

Yazar

Rovatsos, Michael. editor.

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

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages.

Advances in Swarm Intelligence 8th International Conference, ICSI 2017, Fukuoka, Japan, July 27 – August 1, 2017, Proceedings, Part I

Yazar

Tan, Ying. editor.

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

Format:

Electronic Resources

Alıntı:

a First Order Logic Approach -- Flock Diameter Control in a Collision-Avoiding Cucker-Smale Flocking

	{displayName}	{count}
{error}