Search Results for Algebra.

16 sonuç bulundu

Tümünü Seç

1 2

000000000000DEFAULTTR

Combinatorial Set Theory of C*-algebras

Yazar

Farah, Ilijas. author.

https://doi.org/10.1007/978-3-030-27093-3

Format:

Electronic Resources

Alıntı:

Associative Rings and Algebras. https://scigraph.springernature.com/ontologies/product-market-codes

On Logical, Algebraic, and Probabilistic Aspects of Fuzzy Set Theory

Yazar

Saminger-Platz, Susanne. editor.

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

Format:

Electronic Resources

Alıntı:

On Logical, Algebraic, and Probabilistic Aspects of Fuzzy Set Theory Saminger-Platz, Susanne

Axiomatic Method and Category Theory

Yazar

Rodin, Andrei. author.

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

Format:

Electronic Resources

Alıntı:

Category Theory, Homological Algebra.

Finitely Supported Mathematics An Introduction

Yazar

Alexandru, Andrei. author.

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

Format:

Electronic Resources

Alıntı:

Algebra.

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

Category Theory, Homological Algebra.

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

Symbolic and Algebraic Manipulation. http://scigraph.springernature.com/things/product-market-codes

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

Category Theory, Homological Algebra. https://scigraph.springernature.com/ontologies/product-market

Heyting Algebras Duality Theory

Yazar

Esakia, Leo. author.

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

Format:

Electronic Resources

Alıntı:

Heyting Algebras Duality Theory / Esakia, Leo. author.

Computational Complexity of Solving Equation Systems

Yazar

Broniek, Przemysław. author.

http://dx.doi.org/10.1007/978-3-319-21750-5

Format:

Electronic Resources

Alıntı:

, studies and their outcomes have not covered algebras that generate a variety admitting type 1 in the sense

10.

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

Process Algebras for Petri Nets The Alphabetization of Distributed Systems / Gorrieri, Roberto

11.

Introduction to Discrete Mathematics via Logic and Proof

Yazar

Jongsma, Calvin. author.

https://doi.org/10.1007/978-3-030-25358-5

Format:

Electronic Resources

Alıntı:

. Functions and Equivalence Relations -- 7. Posets, Lattices, and Boolean Algebra -- 8. Topics in Graph Theory

12.

Handbook of Model Checking

Yazar

Clarke, Edmund M. editor.

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

Format:

Electronic Resources

Alıntı:

-- Symbolic Model Checking in Non-Boolean Domains -- Process Algebra and Model Checking.

	{displayName}	{count}
{error}