The Church-Rosser Property in Computer Algebra and Special Theorem Proving: An Investigation of Critical Pair Completion Algorithms
Winkler, Franz
Verkauft von NEPO UG, Rüsselsheim am Main, Deutschland
AbeBooks-Verkäufer seit 15. November 2018
Gebraucht - Softcover
Zustand: Gebraucht - Wie neu
Anzahl: 1 verfügbar
In den Warenkorb legen