Mechanical theorem proving in geometries : basic principles

Søk kun i bestemt felt Avgrens på brukernivå barn, voksen osv

Avgrens på format. (Bok, DVD, Lydbok, etc.) Avgrens på språk

Fra år

Til år


Utgitt	Wien : Springer-Verlag , 1994
Omfang	XII, 288 s. : fig.
Emner	Automatic theorem proving Geometry - Data processing geometri automatisert bevisføring databehandling
ISBN	0387825061. - 3211825061

Biblioteksøk