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
Universitätsbibliothek
Katalog
Details
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...
Datensatz exportieren als...
BibTeX
The church rosser property in computer algebra and special theorem proving : an investigation of critical pair, completion algorithms
Dissertationen der Johannes-Kepler-Universität Linz : 49
(
Alle Bände
)
Winkler, Franz
1984
Signatur:
TVH1949
Details
Autor(en) / Beteiligte
Winkler, Franz
Titel
The church rosser property in computer algebra and special theorem proving : an investigation of critical pair, completion algorithms
Ist Teil von
Dissertationen der Johannes-Kepler-Universität Linz : 49
(
Alle Bände
)
Ort / Verlag
Wien : Verb. der Wiss. Ges. Österreichs
Erscheinungsjahr
1984
Beschreibungen/Notizen
Linz, Univ., Diss., 1984
Sprache
Englisch
Identifikatoren
ISBN: 3853695841
OCLC-Nummer: 720993037, 720993037
Titel-ID: 990003599210106463
Format
193 S. : graph. Darst.
Systemstelle
TVH
Schlagworte
Automatisches Beweisverfahren
,
Reduktion
,
Computeralgebra
Lade weitere Informationen...