The Ackermann Award 2012
Dane publikacji
Typ publikacji
Publikacja w książce
Rodzaj publikacji
Artykuł konferencyjny
Tytuł publikacji
The Ackermann Award 2012
Adres internetowy
Tytuł książki
CSL
Tom
Od strony
1
Do strony
5
Liczba arkuszy
Liczba stron
Oznaczenie wydania
Miejsce wydania
Nazwa wydawcy
Rok wydania
2012
Tytuł serii
Numer w serii
Numer publikacji
Język publikacji
Angielski
Język etniczny badanej kultury
Zasięg
międzynarodowy
Rok sprawozdawczy
2012
Lista autorów
1.
Thierry Coquand,
Jednostka zewnetrzna
[
Współautor
]
2.
Anuj Dawar,
Jednostka zewnetrzna
[
Współautor
]
3.
Damian Niwiński
,
Zakład Logiki Stosowanej
[
Współautor
]