Katalog der Deutschen Nationalbibliothek

Neuigkeiten

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

 
Neuigkeiten Noch nicht die passende Literatur gefunden? → Book a Librarian
 
 

Ergebnis der Suche nach: idn=966055578



Zurück



Sachbegriffe
Link zu diesem Datensatz https://d-nb.info/gnd/4713868-3
Sachbegriff Bewachte Logik
Quelle Vorlage
Erläuterungen Definition: Bewachte Logiken sind eine neuere Verallgemeinerung modaler Logiken und sind Fragmente der Prädikatenlogik, der Fixpunktlogik oder der Logik zweiter Stufe
Thematischer Bezug Verwandter Begriff: Modallogik
Verwandter Begriff: Fixpunkt-Logik
Verwandter Begriff: Prädikatenlogik
DDC-Notation 004.015113
005.131
160
511.31
Systematik 28 Mathematik ; 30 Informatik, Datenverarbeitung ; 4.3 Erkenntnistheorie, Logik
Typ Allgemeinbegriff (saz)
Thema in 4 Publikationen
  1. Automata logics, and infinite games
    Berlin : Springer, 2002
  2. Automata logics, and infinite games
    Berlin : Springer, 2002
  3. ...





Treffer 1 von 1
< < > <




Aktionen

Aktionen




E-Mail-IconAdministration