Dettaglio del documento
Trova il documento in altre risorse
Proof complexity / Jan Krajicek. - Cambridge ; New York : Cambridge university press, 2019. - XIV, 516 p. ; 24 cm
Krajiček, Jan
Testo a stampa (moderno)
2019
RMS45@Matematica G. Castelnuovo
Matematica G. Castelnuovo
Matematica G. Castelnuovo
Documento disponibile
| Inventario |
19291 |
Collocazione
Col 22 170
Note
1 v.
https://opac.uniroma1.it/SebinaOpacRMS/resource/RMS04503504