Das Buch ist derzeit nicht auf Lager
The church rosser property in computer algebra and special theorem proving: an investigation of critical pair, completion algorithms
Autoren
Buchvariante
1984Buchkauf
Dieses Buch ist derzeit nicht auf Lager.
1984