Inductive Consequences in the Calculus of Constructions

Dane publikacji
  
Typ publikacjiPublikacja w czasopi¶mie
Rodzaj publikacjiArtykuł
Tytuł publikacjiInductive Consequences in the Calculus of Constructions
Adres internetowy
Tytuł czasopismaLECTURE NOTES IN COMPUTER SCIENCE
Medium
Tom6172
Zeszyt
Rok wydania2010
Od strony450
Do strony465
Numer publikacji
Język publikacjiAngielski
Język etniczny badanej kultury
Zasięgmiędzynarodowy
Rok sprawozdawczy2010

Lista autorów
  
 1. Daria Walukiewicz-Chrz±szcz, Zakład Logiki Stosowanej [Współautor]
 2. Jacek Chrz±szcz, Zakład Logiki Stosowanej [Współautor]