Global Development via Local Observational Construction Steps
Dane publikacji
Typ publikacji
Publikacja w czasopi¶mie
Rodzaj publikacji
Artykuł
Tytuł publikacji
Global Development via Local Observational Construction Steps
Adres internetowy
Tytuł czasopisma
LECTURE NOTES IN COMPUTER SCIENCE
Medium
Tom
2420
Zeszyt
Rok wydania
2002
Od strony
1
Do strony
24
Numer publikacji
Język publikacji
Angielski
Język etniczny badanej kultury
Zasięg
międzynarodowy
Rok sprawozdawczy
2002
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
]