The classical decision problem / Egon Boerger; Erich Grädel; Yuri Gurevich

By:

Börger, Egon, 1946- [aut]

Contributor(s):

Resource type: Ressourcentyp: BuchBookLanguage: English Series: Perspectives in mathematical logicPublisher: Berlin ; Heidelberg ; New York ; Barcelona ; Budapest ; Hong Kong ; London ; Milan ; Paris ; Santa Clara ; Singapore ; Tokyo : Springer, 1997Description: XII, 482 S. : graph. DarstISBN:

354057073X
038757073X

Subject(s):

DDC classification:

511.3

MSC: MSC: *03-02 | 03B25 | 03B10 | 03D15 | 03D35 | 68Q25RVK: RVK: SK 130 | CC 2500

Contents:

Literaturverz. S. [421] - 476

PPN: PPN: 279209592

Holdings ( 1 )

Holdings
Item type	Home library	Collection	Shelving location	Call number	Status	Barcode
Freihandbestand ausleihbar	Fachbibliothek Informatik	D.Bör	Bibliothek / frei aufgestellt	D.Bör(22383)	Available	000277916090

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)