Quelle  root.bib   Sprache: unbekannt

@manual{isabelle-system,
  author = {Makarius Wenzel},
  title = {The {Isabelle} System Manual},
  note = {\url{https://isabelle.in.tum.de/doc/system.pdf}}}

quality100%

[ zur Elbe Produktseite wechseln0.4Quellennavigators  Analyse erneut starten  ]