Search Results for Knowledge management.

Declarative Programming and Knowledge Management Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers

Yazar

Hanus, Michael. editor.

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

Format:

Electronic Resources

Alıntı:

Declarative Programming and Knowledge Management Declarative Programming Days, KDPD 2013, Unifying

Intelligent Computer Mathematics International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings.

Yazar

Kerber, Manfred. editor.

http://dx.doi.org/10.1007/978-3-319-20615-8

Format:

Electronic Resources

Alıntı:

Invited Talks -- Calculemus -- Digital Mathematics Libraries -- Mathematical Knowledge Management

Integrated Uncertainty in Knowledge Modelling and Decision Making 7th International Symposium, IUKM 2019, Nara, Japan, March 27–29, 2019, Proceedings

Yazar

Seki, Hirosato. editor.

https://doi.org/10.1007/978-3-030-14815-7

Format:

Electronic Resources

Alıntı:

Integrated Uncertainty in Knowledge Modelling and Decision Making 7th International Symposium, IUKM

Graph Data Management Fundamental Issues and Recent Developments

Yazar

Fletcher, George. editor.

https://doi.org/10.1007/978-3-319-96193-4

Format:

Electronic Resources

Alıntı:

Graph Data Management Fundamental Issues and Recent Developments / Fletcher, George. editor.

Computational and Information Technologies in Science, Engineering and Education 9th International Conference, CITech 2018, Ust-Kamenogorsk, Kazakhstan, September 25-28, 2018, Revised Selected Papers

Yazar

Shokin, Yuri. editor. (orcid)0000-0002-5178-8294

https://doi.org/10.1007/978-3-030-12203-4

Format:

Electronic Resources

Alıntı:

-- Using an Ontological Model for Transfer Knowledge Between Universities -- Management of Oil

Intelligent Computer Mathematics International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings

Yazar

Watt, Stephen M. editor.

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

Format:

Electronic Resources

Alıntı:

-- Towards Knowledge Management for HOL Light -- Automated Improving of Proof Legibility in the Mizar System

Mathematical Software – ICMS 2014 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings

Yazar

Hong, Hoon. editor.

http://dx.doi.org/10.1007/978-3-662-44199-2

Format:

Electronic Resources

Alıntı:

Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory

	{displayName}	{count}
{error}