Spracherkennung für: vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
chapter AFP
session Combinatorics_Words (AFP) = "HOL-Eisbach" +
options [timeout = 600]
sessions
List_Power
theories [document = pdf]
Arithmetical_Hints
Border_Array
Reverse_Symmetry
CoWBasic
Submonoids
Morphisms
Periodicity_Lemma
Equations_Basic
Binary_Code_Morphisms
Lyndon_Schutzenberger
document_files
root.tex
root.bib
¤ Dauer der Verarbeitung: 0.12 Sekunden
(vorverarbeitet am 2026-09-28)
¤
*© Formatika GbR, Deutschland
