Automated mathematical induction /
edited by H. Zhang.

Description

Tools

Cite this Export citation file

Related Names: Zhang, H. (Hantao)
Language(s): English
Published: Dordrecht ; Kluwer Academic, c1996.
Subjects: Induction (Mathematics)
Automatic theorem proving.
Note: "Reprinted from Journal of automated reasoning 16 (nos. 1-2): 1-222, 1996."
Physical Description: 222 p. : ill. ; 25 cm.
ISBN: 0792340108 (hardbound : alk. paper)
Locate a Print Version: Find in a library

Viewability

Item Link	Original Source
Limited (search only)	Pennsylvania State University

View HathiTrust MARC record

Similar Items

Sociological research

Published: 1992

Population projections area

Author: Great Britain. Office of Population Censuses and Surveys.
Published: 1991

Cloudy mountains : Kao Kʻo-kung (1248-1310) and the Mi tradition

Author: Brizendine, Curtis Hansman.
Published: 1992

Sailing directions (enroute). Newfoundland, Labrador and Hudson Bay

Author: United States. Defense Mapping Agency. Hydrographic/Topographic Center.
Published: 1995

Sailing directions (enroute). Nova Scotia and the Saint Lawrence

Author: United States. National Imagery and Mapping Agency.
Published: 1995

Urban history

Published: 1992

Dynamical systems of algebraic origin

Author: Schmidt, Klaus, 1943-
Published: 1995

Sailing directions (enroute). British Columbia

Author: United States. Defense Mapping Agency. Hydrographic/Topographic Center.
Published: 1995

Sailing directions (enroute). Eastern Mediterranean

Author: United States. National Geospatial-Intelligence Agency.
Published: 1995

Sailing directions (enroute). West coast of Europe and Northwest Africa

Author: United States. National Imagery and Mapping Agency.
Published: 1994