Vista normal Vista MARC Vista ISBD

Krajíček, Jan,

Proof complexity / Jan Krajíček - xiv, 516 páginas - Encyclopedia of mathematics and its applications ; 170 .

ISBN: 9781108416849

Subjects--Topical Terms:
Teoría de la demostración
Complejidad computacional

LC Class. No.: QA9.54 / K72

Dewey Class. No.: 511.3/6