Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Zur Ergebnisliste
Ergebnis 13 von 199
    Datensatz exportieren als...
  • BibTeX
Complexity of proofs and their transformations in axiomatic theories
Translations of mathematical monographs : 128 (Alle Bände)
1. [Dr.], 1993
Signatur: TCL4412

Details

Autor(en) / Beteiligte
Titel
Complexity of proofs and their transformations in axiomatic theories
Ist Teil von
Auflage
1. [Dr.]
Ort / Verlag
Providence, RI : American Mathematical Society
Erscheinungsjahr
1993
Link zu anderen Inhalten
Beschreibungen/Notizen
  • Aus d. Russ. übers.
Sprache
Englisch
Identifikatoren
ISBN: 9780821845769, 0821845764
OCLC-Nummer: 246828609, 246828609
Titel-ID: 990006349980106463
Format
VI, 153 S.
Systemstelle
TCL
Schlagworte
Beweistheorie, Komplexität

Lade weitere Informationen...