Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: idn=040690342
Link zu diesem Datensatz | https://d-nb.info/gnd/4069034-9 |
Sachbegriff | Automatisches Beweisverfahren |
Quelle | Lex. Kybern. unter Theorembeweisen, Au |
Synonyme |
Beweis / Automatisierung Maschinelles Beweisverfahren Mechanisches Beweisverfahren Theorembeweisen / Automatisierung Automatisches Theorembeweisen Automated theorem proving Automatic theorem proving Automatisches Beweisen / Theorem |
Thematischer Bezug | Verwandter Begriff: Beweissystem |
DDC-Notation | 511.36028563 |
Systematik | 30 Informatik, Datenverarbeitung |
Andere Normdaten |
LCSH: Automatic theorem proving RAMEAU: Théorèmes -- Démonstration automatique |
Untergeordnet |
5 Datensätze
|
Thema in |
421 Publikationen
|
Maschinell verknüpft mit |
8 Publikationen
|