Kniha momentálne nie je na sklade
Viac o knihe
The monograph presents groundbreaking research on non-commutative algebras connected to logic, featuring results and examples that have not been previously published. The author attributes the rapid progress and significant findings to the assistance of the Prover9-Mace4 computer program, created by William W. McCune. This work showcases the intersection of advanced algebraic concepts and computational tools, highlighting the innovative methods used in the research process.
Nákup knihy
Non-commutative Algebras. Pseudo-BCK Algebras versus m-pseudo-BCK Algebras, Afrodita Iorgulescu
- Jazyk
- Rok vydania
- 2024
- product-detail.submit-box.info.binding
- (pevná)
Akonáhle sa objaví, pošleme vám e-mail.
Doručenie
Platobné metódy
Navrhnúť zmenu
- Titul
- Non-commutative Algebras. Pseudo-BCK Algebras versus m-pseudo-BCK Algebras
- Jazyk
- anglicky
- Autori
- Afrodita Iorgulescu
- Vydavateľ
- College Publications
- Rok vydania
- 2024
- Väzba
- pevná
- Počet strán
- 676
- ISBN13
- 9781848904637
- Kategórie
- Matematika
- Anotácia
- The monograph presents groundbreaking research on non-commutative algebras connected to logic, featuring results and examples that have not been previously published. The author attributes the rapid progress and significant findings to the assistance of the Prover9-Mace4 computer program, created by William W. McCune. This work showcases the intersection of advanced algebraic concepts and computational tools, highlighting the innovative methods used in the research process.