An edition of A proof theory for general unification (1991)

Proof Theory for General Unification

by

Proof Theory for General Unification
Wayne Snyder, W. Snyder, Wayne ...
Locate

My Reading Lists:

Create a new list

Notes
Notes

Check nearby libraries

Buy this book

Last edited by ImportBot
February 26, 2022 | History
Edit
An edition of A proof theory for general unification (1991)

Proof Theory for General Unification

by

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

Publish Date
Publisher
Birkhäuser Boston
Language
English

Check nearby libraries

Buy this book

Subjects

Automatic theorem proving
Edition Availability
Cover of: Proof Theory for General Unification
Proof Theory for General Unification
2012, Birkhäuser Boston
in English
Cover of: A proof theory for general unification
A proof theory for general unification
1991, Birkhäuser
in English

Add another edition?

Book Details

Classifications

Library of Congress
QA75.5-76.95

The Physical Object

Pagination
vii, 178
Weight
0.296

Edition Identifiers

Open Library
OL37165685M
ISBN 13
9781461267584

Work Identifiers

Work ID
OL13557789W

Source records

Better World Books record

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Loading indicator
Loading carousel
Loading indicator
Loading carousel

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
February 26, 2022 Created by ImportBot Imported from Better World Books record