Arithmetic, proof theory, and computational complexity

Arithmetic, proof theory, and computational complexity

by Clote, Peter, Informatiker Krajícek, Jan

Type Book
Rate 0.0 /5
Details
Files
Reviews
Download

Title Statements

  • Full title :Arithmetic, proof theory, and computational complexity / ed. by Peter Clote and Jan Krajíček.

Edition Statements

  • Publication Date:1993.

Publication Statements

  • Publisher(s):Clarendon Press
  • Place of Publication:Oxford
  • Language:eng
  • Publication Date:1993.

Notes

Mainly results of international conferences: San Diego, June 25-27, 1990 and Prague, July 2-5, 1991.

The Physical Object

  • Description:XII, 428 S ; : 25 cm.

Edition Identifiers

  • ISBN:0198536909, 9780198536901
  • oclc:ocn889349556

Subjects

ALGORITHMIC COMPLEXITY (MATHEMATICS) ALGORITHMISCHE KOMPLEXITÄT (MATHEMATIK) Aufsatzsammlung Berechnungskomplexität Beschränkte Arithmetik Beweistheorie COMPLEXITÉ ALGORITHMIQUE (MATHÉMATIQUES) INFERENCE SEARCH + PROOF THEORY (MATHEM… Komplexitätstheorie RECHERCHE D'INFÉRENCE + THÉORIE DE LA P… SCHLUSSVERFAHREN + BEWEISTHEORIE (MATHE…

Writers

Clote, Peter, Informatiker Krajícek, Jan

More from this Series

Rate & Review

0.0/5
(0 people Voted)

No reviews yet. Be the first to rate this work.

Files & Downloads

  • Arithmetic, Proof Theory, and Computational Compl…

    DJVU · 3.6 MB · updated
    Login →
Log in to request a copy