Katalog der Deutschen Nationalbibliothek

Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
Neuigkeiten 2. bis 5. Oktober 2025: Der Kartenlesesaal in Leipzig ist geschlossen. // 2 to 5 October 2025: The map reading room in Leipzig is closed.
 
 

Ergebnis der Suche nach: "133628566"

Zurück zur Trefferliste


Treffer 11 von 12 < < > <



Bücher
Link zu diesem Datensatz https://d-nb.info/841041725
Titel The church rosser property in computer algebra and special theorem proving: an investigation of critical pair, completion algorithms / Franz Winkler
Person(en) Winkler, Franz (Verfasser)
Verlag Wien : VWGÖ
Zeitliche Einordnung Erscheinungsdatum: 1984
Umfang/Format 193 S. : graph. Darst. ; 21 cm
Hochschulschrift Zugl.: Linz, Univ., Diss., 1984
ISBN/Einband/Preis 978-3-85369-584-5 kart. : DM 27.00, S 180.00
3-85369-584-1 kart. : DM 27.00, S 180.00
Beziehungen Johannes Kepler Universität Linz: Dissertationen der Johannes-Kepler-Universität Linz ; 49
Schlagwörter Kanonische Form ; Church-Rosser-Eigenschaft ; Computeralgebra ; Theorembeweisen <Kybern.>
Sachgruppe(n) 28 Informatik, Datenverarbeitung

Frankfurt Signatur: D 85/3730
Bereitstellung in Frankfurt




Treffer 11 von 12
< < > <




Aktionen

Aktionen





E-Mail-IconAdministration