ℹ️
🇨🇿
Hledání
Hledat publikace relevantní k dotazu "Index theory"
Index theory
Publikace
Předměty
Osoby
Publikace
Studium
Automatické dokazování vět v teorii čísel
Publikace na Matematicko-fyzikální fakulta
|
2008
2 osoby
Abstrakt
Automatické dokazování vět v teorii čísel
Osoby
person
doc. RNDr. David Stanovský Ph.D.
Matematicko-fyzikální fakulta
person
J. D. Phillips
Osoba bez příslušnosti k fakultě
