Search Results for Knowledge, Theory of.

6 sonuç bulundu

Tümünü Seç

000000DEFAULTTR

Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18–19, 2015. Revised Selected Papers

Yazar

Gurfinkel, Arie. editor.

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

Format:

Electronic Resources

Alıntı:

Logics and Meanings of Programs.

Formal Languages and Compilation

Yazar

Crespi Reghizzi, Stefano. author.

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

Format:

Electronic Resources

Alıntı:

language structures are elegantly explained in terms of the underlying theory, without requiring the use of

PRICAI 2019: Trends in Artificial Intelligence 16th Pacific Rim International Conference on Artificial Intelligence, Cuvu, Yanuca Island, Fiji, August 26–30, 2019, Proceedings, Part I

Yazar

Nayak, Abhaya C. editor. (orcid)0000-0003-0681-9570

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

Format:

Electronic Resources

Alıntı:

Theory of Computation. https://scigraph.springernature.com/ontologies/product-market-codes/I16005

Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Yazar

Pitts, Andrew. editor.

http://dx.doi.org/10.1007/978-3-662-46678-0

Format:

Electronic Resources

Alıntı:

2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015

Logic, Rationality, and Interaction 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings

Yazar

Blackburn, Patrick. editor.

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

Format:

Electronic Resources

Alıntı:

-- Knowledge in Topological Argumentation Models -- Towards a logical formalisation of Theory of Mind: a study

Software Engineering and Formal Methods SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers

Yazar

Counsell, Steve. editor.

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

Format:

Electronic Resources

Alıntı:

Logics and Meanings of Programs.

Tümünü Seç

6 sonuç bulundu

	{displayName}	{count}
{error}