Global Development via Local Observational Construction Steps

Dane publikacji
  
Typ publikacjiPublikacja w czasopi¶mie
Rodzaj publikacjiArtykuł
Tytuł publikacjiGlobal Development via Local Observational Construction Steps
Adres internetowy
Tytuł czasopismaLECTURE NOTES IN COMPUTER SCIENCE
Medium
Tom2420
Zeszyt
Rok wydania2002
Od strony1
Do strony24
Numer publikacji
Język publikacjiAngielski
Język etniczny badanej kultury
Zasięgmiędzynarodowy
Rok sprawozdawczy2002

Lista autorów
  
 1. M. Bidoit, Jednostka zewnetrzna [Współautor]
 2. D. Sannella, Jednostka zewnetrzna [Współautor]
 3. Andrzej Tarlecki, Zakład Logiki Stosowanej [Współautor]