Umfang:
121 S
,
graph. Darst
Ausgabe:
Wyd. 1
ISBN:
8322610238
Serie:
Prace naukowe Uniwersytetu Śla̜skiego w Katowicach 1901
Anmerkung:
Literaturverz. S. 113 - [118]
,
Zsfassung in poln. und russ. Sprache. - Poln. Zsfassung u.d.T.: Algorytmiczna strukturalna zupełność i system wyszukiwania dowodów twierdzeń w teoriach algorytmicznych
Sprache:
Englisch
Fachgebiete:
Informatik
Bookmarklink