Bookbot

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

Achat du livre

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

Langue
Année de publication
1984
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.

Modes de paiement

Personne n'a encore évalué .Évaluer