| Dane publikacji |
|---|
| | |
| Typ publikacji | Publikacja w czasopi¶mie |
| Rodzaj publikacji | Artykuł |
| Tytuł publikacji | Relational dual tableau decision procedures and their applications to modal and intuitionistic logics |
| Adres internetowy | http://www.sciencedirect.com/science/article/pii/S0168007213000663 |
| Tytuł czasopisma | ANNALS OF PURE AND APPLIED LOGIC |
| Medium | publikacja drukowana |
| Tom | 165 |
| Zeszyt | 2 |
| Rok wydania | 2014 |
| Od strony | 409 |
| Do strony | 427 |
| Numer publikacji | |
| Język publikacji | Angielski |
| Język etniczny badanej kultury | |
| Zasięg | międzynarodowy |
| Rok sprawozdawczy | 2014 |