Search Results for Computer logic.

15 sonuç bulundu

Tümünü Seç

1 2

000000000000DEFAULTTR

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.

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ı:

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

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ı:

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

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ı:

Mathematical Logic and Foundations. http://scigraph.springernature.com/things/product-market-codes

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ı:

Mathematical Logic and Foundations. http://scigraph.springernature.com/things/product-market-codes

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ı:

Logic and information flow / Eijck, J. van (Jan)

Handbook of Model Checking

Yazar

Clarke, Edmund M. editor.

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

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Foundations. http://scigraph.springernature.com/things/product-market-codes

Ones and zeros : understanding Boolean algebra, digital circuits, and the logic of sets

Yazar

Gregg, John. author.

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

Format:

Electronic Resources

Alıntı:

Ones and zeros : understanding Boolean algebra, digital circuits, and the logic of sets / Gregg

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ı:

Mathematical Logic and Foundations. http://scigraph.springernature.com/things/product-market-codes

10.

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ı:

The logic of knowledge bases / Levesque, Hector J., 1951-

11.

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ı:

Mathematical Logic and Foundations. http://scigraph.springernature.com/things/product-market-codes

12.

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ı:

Mathematical Logic and Foundations. http://scigraph.springernature.com/things/product-market-codes

	{displayName}	{count}
{error}