Bounded Combinatory Logic

Dane publikacji
  
Typ publikacjiPublikacja w książce
Rodzaj publikacjiArtykuł konferencyjny
Tytuł publikacjiBounded Combinatory Logic
Adres internetowy
Tytuł książkiCSL
Tom
Od strony243
Do strony258
Liczba arkuszy
Liczba stron
Oznaczenie wydania
Miejsce wydania
Nazwa wydawcy
Rok wydania2012
Tytuł serii
Numer w serii
Numer publikacji
Język publikacjiAngielski
Język etniczny badanej kultury
Zasięgmiędzynarodowy
Rok sprawozdawczy2012

Lista autorów
  
 1. Boris Düdder, Jednostka zewnetrzna [Współautor]
 2. Moritz Martens, Jednostka zewnetrzna [Współautor]
 3. Jakob Rehof, Jednostka zewnetrzna [Współautor]
 4. Paweł Urzyczyn, Zakład Logiki Stosowanej [Współautor]