openthesaurus.de Einloggen
OpenThesaurus Logo

Synonyme und Assoziationen

Loading

Keine direkten Treffer

Ähnliche Wörter:
Major-System

Add icon   'Mizar-System' und Synonyme zu OpenThesaurus hinzufügen

Teilwort-Treffer

Kein Teilwort-Treffer

Ähnlich geschrieben

Major-System

Wiktionary

Keine direkten Treffer
effektiv-spenden.org - bei uns geht deine Spende an Hilfsorganisationen mit der größten Wirkung

Wikipedia-Links

Deklarative Programmierung · Andrzej Trybulec · Statische Typisierung · Schwache Typisierung · Automath · OMDoc · HOL Light · Coq (Software) · Formale Sprache · Maschinengestütztes Beweisen · Maschinengestütztes Beweisen · Andrzej Trybulec · Andrzej Trybulec · Fachsprache · Kollaborativ
Quelle & Lizenz
Quelle: Wikipedia-Seite zu 'Mizar-System' [Autoren]
Lizenz: Creative Commons Attribution-ShareAlike

„Mizar-System“ suchen mit:

Wortformen von korrekturen.de

OpenThesaurus ist ein freies deutsches Wörterbuch für Synonyme, bei dem jeder mitmachen kann.
Separator
  • Erweiterte Suche
  • API
  • Wortlisten
  • Tags
  • Daten-Download
  • Daten-Änderungen
  • Statistik
  • Rechtschreibprüfung
  • Über
  • FAQ
  • Impressum &
    Datenschutz
  • Einloggen