Widok standardowy Widok MARC

Indukcja (matematyka) (Hasło przedmiotowe)

Forma preferowana: Indukcja (matematyka)

Machine generated authority record

Work cat.: (POZN 31)149474: McCasland, Roy. 163482, Automated Discovery of Inductive Theorems /