Search Results for Mathematical Logic and Formal Languages.

18 sonuç bulundu

Tümünü Seç

1 2

000000000000DEFAULTTR

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

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

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 Formal Languages. http://scigraph.springernature.com/things/product-market

Mereology and the Sciences Parts and Wholes in the Contemporary Scientific Context

Yazar

Calosi, Claudio. editor.

http://dx.doi.org/10.1007/978-3-319-05356-1

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages.

David Makinson on Classical Methods for Non-Classical Problems

Yazar

Hansson, Sven Ove. editor.

http://dx.doi.org/10.1007/978-94-007-7759-0

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages.

Special Topics in Mathematics for Computer Scientists Sets, Categories, Topologies and Measures

Yazar

Doberkat, Ernst-Erich. author.

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

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages.

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

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 Formal Languages. http://scigraph.springernature.com/things/product-market

10.

Temporal Type Theory A Topos-Theoretic Approach to Systems and Behavior

Yazar

Schultz, Patrick. author.

https://doi.org/10.1007/978-3-030-00704-1

Format:

Electronic Resources

Alıntı:

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

11.

Recent Trends in Algebraic Development Techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers

Yazar

Codescu, Mihai. editor.

http://dx.doi.org/10.1007/978-3-319-28114-8

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages.

12.

Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings

Yazar

van der Hoek, Wiebe. editor.

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

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages.

	{displayName}	{count}
{error}