Eliminace kvantifikátorů v tělese reálných čísel a možnosti jejího využití

Podrobná bibliografia
Hlavný autor:	Hora, Jaroslav (Autor)
Médium:	Článok
Jazyk:	slovenčina čeština
Predmet:	telesá reálných čísel kvantifikátory počítačom podporované vyučovanie

Podobné exempláre