Katalog der Deutschen Nationalbibliothek

Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
Neuigkeiten Mittwoch, 19. November 2025: Die Deutsche Nationalbibliothek in Leipzig ist geschlossen.
 
 

Ergebnis der Suche nach: dcs=511*

Zurück zur Trefferliste


Treffer 41 von 623 < < > <



Sachbegriffe
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
Typ Allgemeinbegriff (saz)
Andere Normdaten LCSH: Automatic theorem proving
RAMEAU: Théorèmes -- Démonstration automatique
Untergeordnet 5 Datensätze
  1. Klausellogik
    Automatisches Beweisverfahren
  2. Knuth-Bendix-Vervollständigungsprozedur
    Automatisches Beweisverfahren
  3. ...
Thema in 441 Publikationen
  1. Human Oriented Proof Presentation
    Xiaorong, Huang. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2024
  2. Intelligent Computer Mathematics
    Cham : Springer Nature Switzerland, 2023, 1st edition 2023
  3. ...
Maschinell verknüpft mit 17 Publikationen
  1. Straddling the border between tests and proofs
    Huang, Li. - Bremen : IRC-Library, Information Resource Center der Constructor University, 2025
  2. Applications for Symbol Elimination in Combination with Hierarchical Reasoning
    Peuter, Dennis. - Koblenz : Universität Koblenz, 2024
  3. ...





Treffer 41 von 623
< < > <




Aktionen

Aktionen




E-Mail-IconAdministration