Search Results for Computer logic.

196 sonuç bulundu

Tümünü Seç

1 2 3 4 5 .. 17

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

Computer Science – Theory and Applications 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6–10, 2018, Proceedings

Yazar

Fomin, Fedor V. editor.

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

Format:

Electronic Resources

Alıntı:

Computer Science – Theory and Applications 13th International Computer Science Symposium in Russia

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

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

Logical Foundations of Computer Science International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings

Yazar

Artemov, Sergei. editor.

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

Format:

Electronic Resources

Alıntı:

Arithmetic and Logic Structures. http://scigraph.springernature.com/things/product-market-codes/I

Engineering Trustworthy Software Systems Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures

Yazar

Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140

https://doi.org/10.1007/978-3-030-02928-9

Format:

Electronic Resources

Alıntı:

Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I

10.

It's All About Coordination Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab

Yazar

de Boer, Frank. editor.

https://doi.org/10.1007/978-3-319-90089-6

Format:

Electronic Resources

Alıntı:

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

11.

Transactions on Computational Science XXXIII

Yazar

Gavrilova, Marina L. editor.

https://doi.org/10.1007/978-3-662-58039-4

Format:

Electronic Resources

Alıntı:

Computer Applications. http://scigraph.springernature.com/things/product-market-codes/I23001

12.

Lectures on Runtime Verification Introductory and Advanced Topics

Yazar

Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601

https://doi.org/10.1007/978-3-319-75632-5

Format:

Electronic Resources

Alıntı:

Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I

Tümünü Seç

1 2 3 4 5 .. 17

196 sonuç bulundu

	{displayName}	{count}
{error}