BML and Related Tools
Dane publikacji
Typ publikacji
Publikacja w czasopi¶mie
Rodzaj publikacji
Artykuł konferencyjny
Tytuł publikacji
BML and Related Tools
Adres internetowy
Tytuł czasopisma
LECTURE NOTES IN COMPUTER SCIENCE
Medium
publikacja drukowana
Tom
5751
Zeszyt
Rok wydania
2009
Od strony
278
Do strony
297
Numer publikacji
Język publikacji
Angielski
Język etniczny badanej kultury
Zasięg
międzynarodowy
Rok sprawozdawczy
2009
Lista autorów
1.
Aleksy Schubert
,
Zakład Logiki Stosowanej
[
Współautor
]
2.
Jacek Chrz±szcz
,
Zakład Logiki Stosowanej
[
Współautor
]
3.
Marieke Huisman,
Jednostka zewnetrzna
[
Współautor
]