> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: Logic and complexity Beteiligte: Lassaigne, Richard [Verfasser:in]; Rougemont, Michel de [Verfasser:in] Erschienen: London; Berlin; Heidelberg [u.a.]: Springer, 2004 Erschienen in: Discrete mathematics and theoretical computer science Umfang: X, 359 S; graph. Darst; 25 cm Sprache: Englisch ISBN: 1852335653 RVK-Notation: ST 125 : Schaltungstheorie, Rechnerarithmetik, Logik SK 130 : Logik und Grundlagen, Metamathematik, Schlagwörter: Mathematische Logik > Komplexitätstheorie Berechnungskomplexität > Rekursiver Algorithmus > Turing-Maschine Entstehung: Anmerkungen: Literaturverz. S. 343 - 348