The computational complexity of logical theories / Jeanne Ferrante

By:

Ferrante, Jeanne [VerfasserIn]

Contributor(s):

Rackoff, Charles, 1948- [VerfasserIn]

Resource type: Ressourcentyp: BuchBookLanguage: English Series: Lecture notes in mathematics ; 718Publisher: Berlin ; Heidelberg [u.a.] : Springer, 1979Description: X, 243 Seiten : DiagrammeISBN:

3540095012
0387095012

Subject(s):

Additional physical formats: 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 classification:

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

RVK: RVK: SI 850LOC classification:

QA3
QA9.35

PPN: PPN: 023151455

Holdings ( 1 )

Holdings
Item type	Home library	Shelving location	Call number	Status	Barcode
Freihandbestand ausleihbar	Fachbibliothek Mathematik	Bibliothek / frei aufgestellt	Lect. notes / 718	Available	36280402090

Total holds: 0

Place hold
Print
Cite
Add to your cart (remove)
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
More searches

Search for this title in:
Karlsruher Virtueller Katalog Bibliotheksportal Karlsruhe Google Scholar Andere Bibliotheken (WorldCat)