UNIVERSI
TÄ
TS-
BIBLIOTHEK
P
ADERBORN
Anmelden
Menü
Menü
Start
Hilfe
Blog
Weitere Dienste
Neuerwerbungslisten
Fachsystematik Bücher
Erwerbungsvorschlag
Bestellung aus dem Magazin
Fernleihe
Einstellungen
Sprache
Deutsch
Deutsch
Englisch
Farbschema
Hell
Dunkel
Automatisch
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...
Universitätsbibliothek
Katalog
Suche
Details
Zur Ergebnisliste
Ergebnis 21 von 205
Datensatz exportieren als...
BibTeX
Complexity of proofs and their transformations in axiomatic theories
Translations of mathematical monographs : 128
(
Alle Bände
)
Orevkov, V. P
1. [Dr.], 1993
Signatur:
TCL4412
Details
Autor(en) / Beteiligte
Orevkov, V. P
Titel
Complexity of proofs and their transformations in axiomatic theories
Ist Teil von
Translations of mathematical monographs : 128
(
Alle Bände
)
Auflage
1. [Dr.]
Ort / Verlag
Providence, RI : American Mathematical Society
Erscheinungsjahr
1993
Link zu anderen Inhalten
Inhaltsverzeichnis
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...