NCID | DA01943462 |
名称(HDNG) | Mirkowska, Grażyna |
から見よ(SF) | Mirkowska-Salwicka, Grażyna Salwicka, Grażyna Mirkowska- Mirkowska, G. (Grażyna) Mirkowska, G |
注記(NOTE) | Her Algorithmic logic with nondeterministic programs, 1979: t.p. (Grażyna Mirkowska-Salwicka) verso t.p. (Grażyna Mirkowska, Institute of Mathematics, Univ. of Warsaw) Her Algorithmic logic, c1986: CIP t.p. (G. Mirkowska) |
LCAID | 80082113 |