Widok standardowy
Widok MARC
Indukcja (matematyka) (Hasło przedmiotowe)
Machine generated authority record
Work cat.: (POZN 31)149474: McCasland, Roy. 163482, Automated Discovery of Inductive Theorems /
Machine generated authority record
Work cat.: (POZN 31)149474: McCasland, Roy. 163482, Automated Discovery of Inductive Theorems /