Formalized Mathematics - Tom 16, Numer 1 (2008) - DML-PL - Yadda

Pełnotekstowe zasoby PLDML oraz innych baz dziedzinowych są już dostępne w nowej Bibliotece Nauki.
Zapraszamy na https://bibliotekanauki.pl

Numer - szczegóły

Wydawca

De Gruyter Open

Czasopismo

Formalized Mathematics

Rocznik

2008

Tom

16

Numer

1

Identyfikatory

Okładka

Zawartość wolumenu

1
- artykuł: The Vector Space of Subsets of a Set Based on Symmetric Difference (Alama J.), s. 1-5
- artykuł: Euler's Polyhedron Formula (Alama J.), s. 7-17
- artykuł: Uniform Boundedness Principle (Sakurai H., Kunimune H., Shidama Y.), s. 19-21
- artykuł: Gauss Lemma and Law of Quadratic Reciprocity (Yan L., Liang X., Zhao J.), s. 23-28
- artykuł: Regular Expression Quantifiers - at leastmOccurrences (Trybulec M.), s. 29-33
- artykuł: Complete Spaces (Pąk K.), s. 35-43
- artykuł: Difference and Difference Quotient. Part II (Li B., Zhuang Y., Liang X.), s. 45-49
- artykuł: The First Mean Value Theorem for Integrals (Narita K., Endou N., Shidama Y.), s. 51-55
- artykuł: Egoroff's Theorem (Endou N., Shidama Y., Narita K.), s. 57-63
- artykuł: BCI-algebras with Condition (S) and their Properties (Sun T., Zhao J., Liang X.), s. 65-71
- artykuł: Stability ofn-Bit Generalized Full Adder Circuits (GFAs). Part II (Wasaki K.), s. 73-80
- artykuł: Solutions of Linear Equations (Pąk K.), s. 81-90

rozwiń roczniki

JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.