From OBJ to ML to COQ
Dane publikacji
Typ publikacji
Publikacja w czasopi¶mie
Rodzaj publikacji
Artykuł
Tytuł publikacji
From OBJ to ML to COQ
Adres internetowy
Tytuł czasopisma
LECTURE NOTES IN COMPUTER SCIENCE
Medium
publikacja drukowana
Tom
4060
Zeszyt
Rok wydania
2006
Od strony
216
Do strony
234
Numer publikacji
Język publikacji
Angielski
Język etniczny badanej kultury
Zasięg
międzynarodowy
Rok sprawozdawczy
2006
Lista autorów
1.
Jacek Chrz±szcz
,
Zakład Logiki Stosowanej
[
Współautor
]
2.
Jean Jouannaud,
Jednostka zewnetrzna
[
Współautor
]