The computational complexity of logical theories / Jeanne Ferrante

Von:

Ferrante, Jeanne [VerfasserIn]

Mitwirkende(r):

Rackoff, Charles, 1948- [VerfasserIn]

Resource type: Ressourcentyp: BuchBuchSprache: Englisch Reihen: Lecture notes in mathematics ; 718Verlag: Berlin ; Heidelberg [u.a.] : Springer, 1979Beschreibung: X, 243 Seiten : DiagrammeISBN:

3540095012
0387095012

Schlagwörter:

Berechenbarkeit
Mathematische Logik
Prädikatenlogik
Komplexität
Goedel's theorem
Predicate calculus
Computational complexity
Mathematics, general
Mathematics

Andere physische Formen: Erscheint auch als: The Computational Complexity of Logical Theories. Online-Ausgabe Berlin, Heidelberg : Springer Berlin Heidelberg, 1979. Online-Ressource (XII, 244 p, online resource)DDC-Klassifikation:

510/.8 s 511/.3
510/.8
s
511/.3
510/.8 s

RVK: RVK: SI 850LOC-Klassifikation:

QA3
QA9.35

PPN: PPN: 023151455

Exemplare ( 1 )

Exemplare
Medientyp	Heimatbibliothek	Standort	Signatur	Status	Barcode
Freihandbestand ausleihbar	Fachbibliothek Mathematik	Bibliothek / frei aufgestellt	Lect. notes / 718	Verfügbar	36280402090

Anzahl Vormerkungen: 0