Dual Tableau for a multimodal logic for order of magnitude qualitative reasoning with bidirectional negligibility

Dane publikacji
  
Typ publikacjiPublikacja w książce
Rodzaj publikacjiArtykuł
Tytuł publikacjiDual Tableau for a multimodal logic for order of magnitude qualitative reasoning with bidirectional negligibility
Adres internetowy
Tytuł książkiProceedings of the 2008 International Conference Computational and Mathematical Methods in Science and Engeneering [eds. J. Vigo-Aguiar]
Tom
Od strony291
Do strony305
Liczba arkuszy
Liczba stron
Oznaczenie wydania
Miejsce wydaniaMurcia, Hiszpania
Nazwa wydawcyUniversidad de Murcia
Rok wydania2008
Tytuł serii
Numer w serii
Numer publikacji
Język publikacjiAngielski
Język etniczny badanej kultury
Zasięgmiędzynarodowy
Rok sprawozdawczy2008

Lista autorów
  
 1. Joanna Golińska-Pilarek, Zakład Logiki [Współautor]
 2. Emilio Munoz-Velasco, Jednostka zewnetrzna [Współautor]