Examples with "Qedeq-Module" and their translation in Engels
We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
Diese Qedeq-Module wurden von dem darin integrierten Beweisprüfer auf formale Korrektheit hin kontrolliert.
Lokale Qedeq-Module können geladen werden, Trace- und Logging-Funktionen und History-Listen sind realisiert.
Local QEDEQ modules could be loaded, trace and logging functions and history features are implemented.
Da das System nicht zentral adminstriert wird und Verweismöglichkeit auf andere QEDEQ-Module überall im Internet möglich sind, kann ein weltweites mathematisches Wissensnetz aufgebaut werden.
Because this system is not centrally administered and references to any location in the internet are possible, a world wide mathematical knowledge base could be build.
History für direkt angeforderte QEDEQ-Module.
In diesem Verzeichnis werden aus dem Internet geladene QEDEQ-Module zwischengespeichert. generationLocation Generierungspfad
Die obigen Qedeq-Module, welche die Metaregeln nicht verwenden, wurden aus den nun folgenden Qedeq-Modulen automatisch generiert.
Es gibt einen Kernel, der QEDEQ-Module auf syntaktische Fehler hin überprüfen kann.
Andere resultaten
Die folgenden Dokumente wurden mit dem Prototypen aus Qedeq-Modulen generiert.
The following documents were generated with the prototype out of qedeq modules.
Ein QEDEQ-Modul ist wie ein mathematisches Textbuch aufgebaut.
Beim letzten Beenden der Anwendung erfolgreich geladenes QEDEQ-Modul.
Dabei stellt der Prototyp fest, dass ein weiteres QEDEQ-Modul referenziert wird.
Wenn mit der graphischen Benutzeroberfläche ein neues QEDEQ-Modul angelegt wird erfolgt die Speicherung in diesem Verzeichnis.
In dieses Verzeichnis werden die aus QEDEQ-Modulen generierten Dokumente geschrieben. localModulesDirectory
