Přejít k obsahu


Selected Topics in Geometry with Classical vs. Computer Proving

Citace: [] HORA, J., LÁVIČKA, M. Selected Topics in Geometry with Classical vs. Computer Proving. New Jersey : World Scientific, 2007. 239 s.
Druh: POSUDEK
Jazyk publikace: cze
Anglický název: Selected Topics in Geometry with Classical vs. Computer Proving
Rok vydání: 2007
Místo konání: New Jersey
Název zdroje: World Scientific
Autoři: Jaroslav Hora , Miroslav Lávička
Abstrakt CZ:
Abstrakt EN:
Klíčová slova

Zpět

Patička