chapter AFP
session Akra_Bazzi = "HOL-Analysis" +
options [timeout = 600]
sessions
"Pure-ex"
"HOL-Decision_Procs"
Landau_Symbols
theories
Akra_Bazzi
Master_Theorem
Akra_Bazzi_Method
Akra_Bazzi_Approximation
Master_Theorem_Examples
document_files
"root.tex"
"root.bib"
¤ Dauer der Verarbeitung: 0.1 Sekunden
¤
*© Formatika GbR, Deutschland
