Normal view
MARC view
- Biela, Andrzej
Biela, Andrzej (Имя лица)
Machine generated authority record.
Work cat.: (RU-ToGU): Biela, Andrzej, Algorithmic structural completeness and a retrieval system for proving theorems in algorithmic theories, 2000