Papuq: a Coq assistant

Dane publikacji
Typ publikacji	Publikacja w książce
Rodzaj publikacji	Artykuł konferencyjny
Tytuł publikacji	Papuq: a Coq assistant
Adres internetowy
Tytuł książki	Proceedings of Workshop on Proof Assistants and Types in Education (PATE'07)
Tom
Od strony	79
Do strony	96
Liczba arkuszy
Liczba stron
Oznaczenie wydania
Miejsce wydania	Paris
Nazwa wydawcy
Rok wydania	2007
Tytuł serii
Numer w serii
Numer publikacji
Język publikacji	Angielski
Język etniczny badanej kultury
Zasięg	międzynarodowy
Rok sprawozdawczy	2007