Katalog der Deutschen Nationalbibliothek

Neuigkeiten Geänderte Servicezeiten an der Information in Frankfurt am Main: Montag bis Freitag von 9–18 Uhr , Samstag von 10–16 Uhr // Changes to service hours at the Information desk in Frankfurt am Main: Monday to Friday: 9:00–18:00, Saturday: 10:00–16:00
 
 

Ergebnis der Suche nach: nid=4247732-3



Treffer 1 von 1 < < > <



Sachbegriffe
Link zu diesem Datensatz http://d-nb.info/gnd/4247732-3
Sachbegriff Halteproblem
Quelle Lex. Informatik, Du. Informatik
Oberbegriffe Entscheidungsproblem
Thematischer Bezug Verwandter Begriff: Wortproblem
Verwandter Begriff: Terminierung <Informatik>
DDC-Notation 004.0151
511.352
Systematik 30 Informatik, Datenverarbeitung
Typ Allgemeinbegriff (saz)
Thema in 2 Publikationen
  1. Model-checking problems, machines and parameterized complexity
    Chen, Yijia, 2004
  2. Model-checking problems, machines and parameterized complexity
    Chen, Yijia, 2004





Treffer 1 von 1
< < > <


E-Mail-IconAdministration