Search Results for Geometry.

6 sonuç bulundu

Tümünü Seç

000000DEFAULTTR

Fundamentals of Computation Theory 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings

Yazar

Kosowski, Adrian. editor.

http://dx.doi.org/10.1007/978-3-319-22177-9

Format:

Electronic Resources

Alıntı:

areas: algorithms, formal methods, and emerging fields and are organized in topical sections on geometry

Computing and Combinatorics 21st International Conference, COCOON 2015, Beijing, China, August 4-6, 2015, Proceedings

Yazar

Xu, Dachuan. editor.

http://dx.doi.org/10.1007/978-3-319-21398-9

Format:

Electronic Resources

Alıntı:

bioinformatics -- Computational algebra, geometry, number theory, graph drawing and information visualization

Computing and Combinatorics 20th International Conference, COCOON 2014, Atlanta, GA, USA, August 4-6, 2014. Proceedings

Yazar

Cai, Zhipeng. editor.

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

Format:

Electronic Resources

Alıntı:

Geometry -- Approximation Algorithm -- Graph Theory and Algorithms -- Theory and Cryptography -- Scheduling

Combinatorics on Words 12th International Conference, WORDS 2019, Loughborough, UK, September 9–13, 2019, Proceedings

Yazar

Mercaş, Robert. editor. (orcid)0000-0001-6034-433X

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

Format:

Electronic Resources

Alıntı:

come from other domains such as theoretical computer science, bioinformatics, digital geometry

Computer Science – Theory and Applications 14th International Computer Science Symposium in Russia, CSR 2019, Novosibirsk, Russia, July 1–5, 2019, Proceedings

Yazar

van Bevern, René. editor. (orcid)0000-0002-4805-218X

https://doi.org/10.1007/978-3-030-19955-5

Format:

Electronic Resources

Alıntı:

optimization; constraint satisfaction; computational geometry; formal languages and automata; codes and

Automated Reasoning 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings

Yazar

Demri, Stéphane. editor.

http://dx.doi.org/10.1007/978-3-319-08587-6

Format:

Electronic Resources

Alıntı:

Procedures -- EL-ifying Ontologies -- The Bayesian Description Logic BEL -- OTTER Proofs in Tarskian Geometry

Tümünü Seç

6 sonuç bulundu

	{displayName}	{count}
{error}