KOBV Portal

Hits per page

hit 1 - 1 | 1 hit

Select All Export

Book

Arithmetic, proof theory, and computational complexity : [workshop from June 1 - June 30, 1990 at the University of California at San Diego and from June 15 - July 15, 1991 at the Mathematical Institute of the Czechoslovak Academy of Sciences and the Charles University in Prague ; during each workshop, there was a 3 day international conference, the San Diego conference from June 25 - 27, 1990, the conference held in Prague from July 2 - 5, 1991] (1993)

Clote, Peter

Oxford [u.a.] :Clarendon Press,

add to watchlist on the watchlist

Details

UID:

almafu_BV008024321

Format: XII, 428 S. : , Ill., graph. Darst.

ISBN: 0-19-853690-9

Series Statement: Oxford logic guides 23

Language: English

Subjects: Mathematics

RVK:

SK 130

Keywords: Beweistheorie ; Komplexitätstheorie ; Datenverarbeitung ; Berechnungskomplexität ; Datenverarbeitung ; Beweistheorie ; Arithmetik ; Aufsatzsammlung ; Konferenzschrift ; Aufsatzsammlung

URL: http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005280261&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA

URL: Inhaltsverzeichnis

URL: Inhaltstext

URL: http://www.loc.gov/catdir/enhancements/fy0605/92041659-d.html

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

FU Berlin

UB Potsdam

hit 1 - 1 | 1 hit

Kooperativer Bibliotheksverbund

Berlin Brandenburg