The Church-Rosser Property in Computer Algebra and Special Theorem Proving: An Investigation of Critical Pair Completion Algorithms
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Franz Winkler
Stimmen zu »The Church-Rosser Property in Computer Algebra and Special Theorem Proving: An Investigation of Critical Pair Completion Algorithms«
Details
ISBN: 9783853695845
Verlag: Verband d. wiss. Ges. Österreichs
Erscheinung: 1984