An edition of Automated mathematical induction (1996)

Automated mathematical induction

by H. Zhang

Preview Only

My Reading Lists:

Use this Work

Create a new list

Check nearby libraries

WorldCat

Buy this book

Last edited by Scott365Bot

March 22, 2024 | History

Edit

An edition of Automated mathematical induction (1996)

Automated mathematical induction

by H. Zhang

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

Publish Date

1996

Publisher

Kluwer Academic, Springer

Language

English

Pages

222

Check nearby libraries

WorldCat

Buy this book

Previews available in: English

Edition	Availability
1 Automated mathematical induction 1996, Kluwer Academic, Springer in English 0792340108 9780792340102	aaaa Preview Only

Add another edition?

Book Details

Edition Notes

Includes bibliographical references.
"Reprinted from Journal of automated reasoning 16 (nos. 1-2): 1-222, 1996."

Published in: Dordrecht, Boston
Other Titles: Journal of automated reasoning.

Classifications

Dewey Decimal Class: 511/.22
Library of Congress: QA76.9.A96 A86 1996, Q334-342

The Physical Object

Pagination: 222 p. :
Number of pages: 222

Edition Identifiers

Open Library: OL983993M
ISBN 10: 0792340108
LCCN: 96021726
Goodreads: 5570559

Work Identifiers

Work ID: OL18281011W

Source records

Scriblio MARC record
Library of Congress MARC record
Library of Congress MARC record
Better World Books record
Promise Item

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

History

Created April 1, 2008
9 revisions

Download catalog record: RDF / JSON / OPDS | Wikipedia citation

March 22, 2024	Edited by Scott365Bot	Linking back to Internet Archive.
May 3, 2023	Edited by ImportBot	import existing book
February 26, 2022	Edited by ImportBot	import existing book
November 23, 2020	Edited by MARC Bot	import existing book
April 1, 2008	Created by an anonymous user	Imported from Scriblio MARC record

Automated mathematical induction

by H. Zhang