Research Catalog
A many-sorted calculus based on resolution and paramodulation
- Title
- A many-sorted calculus based on resolution and paramodulation / Christoph Walther.
- Author
- Walther, Christoph.
- Publication
- London : Pitman ; Los Altos, CA : Morgan Kaufmann, 1987.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSF 88-1521 | Offsite |
Details
- Description
- 160 p. : ill.; 25 cm.
- Series Statement
- Research notes in artificial intelligence, 0268-7526
- Subjects
- Bibliography (note)
- Bibliography: p. 154-160.
- Call Number
- JSF 88-1521
- ISBN
- 0273087185 (pbk.)
- 0934613494 (U.S.)
- LCCN
- 87002815
- OCLC
- 15591420
- NYPG87-B75935
- Author
- Walther, Christoph.
- Title
- A many-sorted calculus based on resolution and paramodulation / Christoph Walther.
- Imprint
- London : Pitman ; Los Altos, CA : Morgan Kaufmann, 1987.
- Series
- Research notes in artificial intelligence, 0268-7526
- Bibliography
- Bibliography: p. 154-160.
- Research Call Number
- JSF 88-1521