Bookbot

The church rosser property in computer algebra and special theorem proving: an investigation of critical pair, completion algorithms

Acquisto del libro

The church rosser property in computer algebra and special theorem proving: an investigation of critical pair, completion algorithms, Franz Winkler

Lingua
Pubblicato
1984
Ti avviseremo via email non appena lo rintracceremo.

Metodi di pagamento

Suggerisci una correzione