The Church Rosser property in computer algebra and special theorem proving: An investigation of critical pair, completion algorithms (Dissertationen der Johannes Kepler-Universität Linz)

Name: The Church Rosser property in computer algebra and special theorem proving: An investigation of critical pair, completion algorithms (Dissertationen der Johannes Kepler-Universität Linz)
Brand: VWGÖ
SKU: 9783853695845
Rating: 4.5 (1 reviews)
ISBN: 9783853695845

The Church Rosser property in computer algebra and special theorem proving: An investigation of critical pair, completion algorithms (Dissertationen der Johannes Kepler-Universität Linz) image

ISBN-10:

3853695841

ISBN-13:

9783853695845

Author(s): Winkler, Franz

Released: Jan 01, 1984

Publisher: VWGÖ

Format: Paperback, 193 pages

to view more data

Sell this Book

Buy this Book

Find in Library

Description:

Book details unavailable.

‌

We're an Amazon Associate. We earn from qualifying purchases at Amazon and all stores listed here.