Katalog Vědecké knihovny v Olomouci, báze SVK01, záznam 000796220

Navigace: https://aleph.vkol.cz/pub / svk01 / 00079xxxx / 0007962xx / 000796220.htm

Chcete-li získat tento dokument, vstupte přímo do katalogu. Získat dokument z katalogu.
If you want to get more information about the document, enter the online catalog. Get the item from catalog.

Číslo nár.bibliogr.80-7040-805-7 (brož.)
072 7514 Geometrie
080 514.11
080 51:168.3
080 004-027.22
080 (048.8)
Všeob.údaje zprac.Pech, Pavel, 1951-
24510Klasické vs. počítačové metody při řešení úloh v geometrii / Pavel Pech
2463 Klasické versus počítačové metody při řešení úloh v geometrii
250 1. vyd.
260 V Českých Budějovicích : Jihočeská univerzita, 2005
Obecné poznámky170 s. : il. ; 25 cm
Unifikovaný název200 výt.
504 Obsahuje bibliografii
65007elementární geometrie
65007matematické důkazy
65007počítačová podpora
65009elementary geometry
65009mathematical proofs
65009computer aid
6530 automatické dokazování vět
655 7studie
655 9studies
Externí soubor (obrázek, hyperlink...)Digitalizovaný dokument
Údaj agentury ISBN9788070408056 1. vyd. 20060516
Sigla,sign.vlastn.OLA001 1-172.743
EXE 1