zbMATH — the first resource for mathematics

Found 8 Documents (Results 1–3)

Krajíček, Jan (ed.), Complexity of computations and proofs. Rome: Aracne; Napoli: Dipartimento di Matematica della Seconda Università di Napoli (ISBN 88-7999-413-1/hbk). Quaderni di Matematica 13, 305-325 (2004).
MSC:  94A60 11T71 14G50
BibTeX Cite
Full Text: arXiv

Filter Results by …

Document Type
Reviewing State
Year of Publication