- Tytuł:
- Dwie formalizacje rachunku dualnego względem systemu W.
- Autorzy:
-
Bryll, G.
Górnicka, A. - Data publikacji:
- 1999
- Słowa kluczowe:
-
rachunek dualny
drzewo dekompozycji
implikacja dualna
dual account
decomposition tree
dual implication - Język:
- polski
- Dostawca treści:
- BazTech
- Artykuł