Algorithmic structural completeness and a retrieval system for proving theorems in algorithmic theories
Miejsce wydania:
Katowice
Rok wydania:
2000
ISBN:
83-226-1023-8
Nakład:
wyczerpany (wersja papierowa)
Liczba stron:
122
Wymiary:
170 mm × 240 mm
Typ oprawy:
oprawa broszurowa foliowana
Inne:
bibliogr.
Rodzaj publikacji:
monografia
1,00 zł
