Přeskočit na obsah
VuFind
Jazyk
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文（繁體）
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Vše
Název
Autor
Téma
Signatura
ISBN/ISSN
Tag
Hledat
Pokročilé
Mechanical geometry theorem pr...
Vytvořit citaci
Poslat emailem
Vytisknout
Exportovat záznam
Exportovat do RefWorks
Exportovat do EndNoteWeb
Exportovat do EndNote
permanent_link
Načítá se...
Mechanical geometry theorem proving
Podrobná bibliografie
Hlavní autor:
Chou, Shang-Ching
Médium:
Printed Book
Vydáno:
D Reidel Publishing Co., Dordrecht
1988
Témata:
Geometry
>
Mathematics
Jednotky
Popis
Podobné jednotky
UNIMARC/MARC
Podobné jednotky
Symbolic, logic and mechanical theorem proving
Autor: Chang, Chin-Liang
Vydáno: (1973)
Comparison theorems in riemannian geometry /
Autor: Cheeger, Jeff
Vydáno: (1975)
Symbolic logic and mechanical theorem proving /
Autor: Chang, Chin-lidng
Vydáno: (1973)
Atitah singer index theorem
Autor: Mukherjee, Amiya
Vydáno: (2013)
Symplectic geometry and quantum mechanics
Autor: Gosson, Maurice de
Vydáno: (2000)
Načítá se...