| 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 |