An edition of The Church Rosser property in computer algebra and special theorem proving (1984)

The Church Rosser property in computer algebra and special theorem proving

an investigation of critical pair, completion algorithms

by

The Church Rosser property in computer algebr ...
Franz Winkler, Franz Winkler
Not in Library

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today
Notes
Notes

Check nearby libraries

Buy this book

Last edited by MARC Bot
November 3, 2020 | History
Edit
An edition of The Church Rosser property in computer algebra and special theorem proving (1984)

The Church Rosser property in computer algebra and special theorem proving

an investigation of critical pair, completion algorithms

by

This edition doesn't have a description yet. Can you add one?

Publish Date
Publisher
VWGÖ
Language
English
Pages
193

Check nearby libraries

Buy this book

Subjects

Algebra, Universal, Automatic theorem proving, Computer algorithms, Data processing, Universal Algebra

Showing 1 featured edition. View all 1 editions?

Edition Availability
Cover of: The Church Rosser property in computer algebra and special theorem proving
The Church Rosser property in computer algebra and special theorem proving: an investigation of critical pair, completion algorithms
1984, VWGÖ
in English
  • Not in Library
Libraries near you: WorldCat

Add another edition?

Book Details

Edition Notes

Bibliography: p. 182-193.

Published in
Wien
Series
Dissertationen der Johannes Kepler-Universität Linz ;, 49

Classifications

Dewey Decimal Class
512
Library of Congress
QA251 .W677 1984

The Physical Object

Pagination
193 p. :
Number of pages
193

ID Numbers

Open Library
OL2591463M
ISBN 10
3853695841
LCCN
85143882
Goodreads
1587402

Source records

Library of Congress MARC record

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
November 3, 2020 Edited by MARC Bot import existing book
April 16, 2010 Edited by bgimpertBot Added goodreads ID.
December 12, 2009 Edited by WorkBot link works
April 1, 2008 Created by an anonymous user Imported from Scriblio MARC record