Katalog der Deutschen Nationalbibliothek

Neuigkeiten

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

 
 

Ergebnis der Suche nach: dcs=511*

Zurück zur Trefferliste


Treffer 543 von 623 < < > <



Sachbegriffe
Link zu diesem Datensatz https://d-nb.info/gnd/4590468-6
Sachbegriff Tableau <Logik>
Quelle -Sundermeyer: Knowledge-Based System
Erläuterungen Definition: Im Automatischen Beweisen (Künstliche Intelligenz) ist ein T. eine besondere Form der Darstellung eines Beweises. In der Logik allg. ist ein T. eine Baumstruktur, deren Knoten mit Formeln markiert wird.
Synonyme Tableaux-Kalkül
Tableaux calculus
DDC-Notation 511.3
Systematik 28 Mathematik ; 30 Informatik, Datenverarbeitung
Typ Allgemeinbegriff (saz)
Thema in 14 Publikationen
  1. Tableau Methods for Propositional Logic and Term Logic
    Jarmużek, Tomasz. - Frankfurt a.M. : Peter Lang GmbH, Internationaler Verlag der Wissenschaften, 2021
  2. Tableau methods for propositional logic and term logic
    Jarmużek, Tomasz. - Berlin : Peter Lang, [2020]
  3. ...
Maschinell verknüpft mit 2 Publikationen
  1. Mikropolitik in Bildern
    Matala de Mazza, Ethel. - Konstanz : Bibliothek der Universität Konstanz, 2009
  2. Mikropolitik in Bildern
    Matala de Mazza, Ethel. - Konstanz : Bibliothek der Universität Konstanz, 2009





Treffer 543 von 623
< < > <




Aktionen

Aktionen




E-Mail-IconAdministration