The Church-Rosser Property in Computer Algebra and Special Theorem Proving: An Investigation of Critical Pair Completion Algorithms - Couverture souple

9783853695845: The Church-Rosser Property in Computer Algebra and Special Theorem Proving: An Investigation of Critical Pair Completion Algorithms

Couverture souple

ISBN 10 : 3853695841 ISBN 13 : 9783853695845

Afficher les exemplaires de cette �dition comportant l'ISBN

1 D'occasion

De EUR 12

0 Neuf

D�tails de l'�dition

Langue: anglais
ISBN 10: 3853695841
ISBN 13: 9783853695845
Reliure: Tapa blanda
Coordonn�es du fabricant: non disponible
Personne responsable: non disponible

R�sultats de recherche pour The Church-Rosser Property in Computer Algebra and...

Image fournie par le vendeur

The church rosser property in computer algebra and special Theorem proving - An investigation of critical pair, completion algorithms. (= Dissertationen der Johannes-Kepler-Universit�t, 49).

Winkler, Franz:

Edit� par Wien, VWG�, 1984

ISBN 10 : 3853695841 ISBN 13 : 9783853695845

Ancien ou d'occasion 8�, Softcover/Paperback Edition originale

Vendeur : Antiquariat Deinbacher, Murstetten, Autriche

�valuation du vendeur 5 sur 5 �toiles

8�, Softcover/Paperback. 1. Aufl. 193 Seiten, Einband mit geringen Lagerspuren, ansonst sehr guter und sauberer Zustand 3853695841 Sprache: Deutsch Gewicht in Gramm: 270. N� de r�f. du vendeur 62258

Contacter le vendeur

Acheter D'occasion

EUR 12

Exp�dition �EUR 42
Exp�dition depuis Autriche vers Etats-Unis

Quantit� disponible : 3 disponible(s)

Ajouter au panier