Keine direkten Treffer
'Maschinengestütztes Beweisen' und Synonyme zu OpenThesaurus hinzufügen |
Teilwort-Treffer und ähnlich geschriebene Wörter
Kein Teilwort-Treffer
Keine ähnlichen Treffer
Nicht das Richtige dabei?
'Maschinengestütztes Beweisen' und Synonyme zu OpenThesaurus hinzufügen |
Wiktionary
Keine direkten TrefferWikipedia-Links
Theorem · Computerbeweis · entscheidbar · Aussagenlogik · NP-vollständig · Prädikatenlogik · Modellprüfung · Brute-Force-Methode · Primitiv-rekursive Funktion · Verifikation · Vier-Farben-Satz · Computerbeweis · Keplersche Vermutung · blogspot · integrierter Schaltkreis
Quelle: Wikipedia-Seite zu 'Maschinengestütztes Beweisen' [Autoren]
Lizenz: Creative Commons Attribution-ShareAlike
Lizenz: Creative Commons Attribution-ShareAlike