Search Results for Mathematical Logic and Formal Languages.

562 sonuç bulundu

Tümünü Seç

1 2 3 4 5 .. 47

000000000000DEFAULTTR

Logical Foundations of Computer Science International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings

Yazar

Artemov, Sergei. editor.

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

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages.

Refinement in Z and Object-Z Foundations and Advanced Applications

Yazar

Derrick, John. author.

http://dx.doi.org/10.1007/978-1-4471-5355-9

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages.

From Requirements to Java in a Snap Model-Driven Requirements Engineering in Practice

Yazar

Śmiałek, Michał. author.

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

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages.

Parameterized Complexity in the Polynomial Hierarchy Extending Parameterized Complexity Theory to Higher Levels of the Hierarchy

Yazar

de Haan, Ronald. author.

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

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages. https://scigraph.springernature.com/ontologies/product

Artificial Intelligence 17th Russian Conference, RCAI 2019, Ulyanovsk, Russia, October 21–25, 2019, Proceedings

Yazar

Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001

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

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages. https://scigraph.springernature.com/ontologies/product

Epistemology, Context, and Formalism

Yazar

Lihoreau, Franck. editor.

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

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages.

Heyting Algebras Duality Theory

Yazar

Esakia, Leo. author.

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

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages. https://scigraph.springernature.com/ontologies/product

Leo Esakia on Duality in Modal and Intuitionistic Logics

Yazar

Bezhanishvili, Guram. editor.

http://dx.doi.org/10.1007/978-94-017-8860-1

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages.

Introduction to Mathematica® with Applications

Yazar

Mureşan, Marian. author.

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

Format:

Electronic Resources

Alıntı:

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

10.

Principled Software Development Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday

Yazar

Müller, Peter. editor.

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

Format:

Electronic Resources

Alıntı:

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

11.

Mobile Agent-Based Anomaly Detection and Verification System for Smart Home Sensor Networks

Yazar

Usman, Muhammad. author.

https://doi.org/10.1007/978-981-10-7467-7

Format:

Electronic Resources

Alıntı:

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

12.

Rough Sets International Joint Conference, IJCRS 2018, Quy Nhon, Vietnam, August 20-24, 2018, Proceedings

Yazar

Nguyen, Hung Son. editor.

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

Format:

Electronic Resources

Alıntı:

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

Tümünü Seç

1 2 3 4 5 .. 47

562 sonuç bulundu

	{displayName}	{count}
{error}