Search Results for Computer science -- Mathematics.

15 sonuç bulundu

Tümünü Seç

1 2

000000000000DEFAULTTR

Logic, Rationality, and Interaction 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings

Yazar

Baltag, Alexandru. editor.

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

Format:

Electronic Resources

Alıntı:

Discrete Mathematics in Computer Science. http://scigraph.springernature.com/things/product-market

The Incomputable Journeys Beyond the Turing Barrier

Yazar

Cooper, S. Barry. editor.

https://doi.org/10.1007/978-3-319-43669-2

Format:

Electronic Resources

Alıntı:

Computer science.

Handbook of Model Checking

Yazar

Clarke, Edmund M. editor.

https://doi.org/10.1007/978-3-319-10575-8

Format:

Electronic Resources

Alıntı:

Computer science.

Computational Artifacts Towards a Philosophy of Computer Science

Yazar

Turner, Raymond. author.

https://doi.org/10.1007/978-3-662-55565-1

Format:

Electronic Resources

Alıntı:

Computational Artifacts Towards a Philosophy of Computer Science / Turner, Raymond. author.

Logics for Computer Science Classical and Non-Classical

Yazar

Wasilewska, Anita. author.

https://doi.org/10.1007/978-3-319-92591-2

Format:

Electronic Resources

Alıntı:

Logics for Computer Science Classical and Non-Classical / Wasilewska, Anita. author.

The logic of knowledge bases

Yazar

Levesque, Hector J., 1951-

Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267409

Format:

Electronic Resources

Alıntı:

Expert systems (Computer science)

Logic and information flow

Yazar

Eijck, J. van (Jan)

Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267445

Format:

Electronic Resources

Alıntı:

Natural language processing (Computer science)

An Introduction to the Technique of Formative Processes in Set Theory

Yazar

Cantone, Domenico. author.

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

Format:

Electronic Resources

Alıntı:

Computer science.

Logical Foundations of Cyber-Physical Systems

Yazar

Platzer, André. author.

https://doi.org/10.1007/978-3-319-63588-0

Format:

Electronic Resources

Alıntı:

Computer science.

10.

Formal Methods for Nonmonotonic and Related Logics Vol I: Preference and Size

Yazar

Schlechta, Karl. author.

https://doi.org/10.1007/978-3-319-89653-3

Format:

Electronic Resources

Alıntı:

Computer science.

11.

Process Algebras for Petri Nets The Alphabetization of Distributed Systems

Yazar

Gorrieri, Roberto. author.

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

Format:

Electronic Resources

Alıntı:

Monographs in Theoretical Computer Science. An EATCS Series,

12.

Formal Methods for Nonmonotonic and Related Logics Vol II: Theory Revision, Inheritance, and Various Abstract Properties

Yazar

Schlechta, Karl. author.

https://doi.org/10.1007/978-3-319-89650-2

Format:

Electronic Resources

Alıntı:

Computer science.

	{displayName}	{count}
{error}