Katalog der Deutschen Nationalbibliothek

Neuigkeiten Donnerstag, 11. September 2025: Die Deutsche Nationalbibliothek öffnet wegen eines Beschäftigtentreffens an beiden Standorten erst um 15 Uhr. // Thursday, 11 September 2025: The German National Library will not open until 15:00 due to a staff meeting at both locations.
 
 

Ergebnis der Suche nach: tit all "Algorithms"

Zurück zur Trefferliste


Treffer 1860 von 1864 < < > <



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 1860 von 1864
< < > <




Aktionen

Aktionen





E-Mail-IconAdministration