Research Catalog
Automated theorem proving
- Title
- Automated theorem proving / Wolfgang Bibel.
- Author
- Bibel, W., 1938-
- Publication
- Braunschweig : F. Vieweg ; Philadelphia, Pa. : Distributed by Heyden & Son, 1982.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSE 85-745 | Offsite |
Details
- Description
- xiii, 292 p. : ill.; 23 cm.
- Subject
- Note
- Includes index.
- Distributor from label mountedon verso of t.p.
- Bibliography (note)
- Bibliography: p. [277]-287.
- Call Number
- JSE 85-745
- ISBN
- 3528085207
- LCCN
- 82243531
- OCLC
- 9183536
- NYPG85-B32750
- Author
- Bibel, W., 1938-
- Title
- Automated theorem proving / Wolfgang Bibel.
- Imprint
- Braunschweig : F. Vieweg ; Philadelphia, Pa. : Distributed by Heyden & Son, 1982.
- Bibliography
- Bibliography: p. [277]-287.
- Research Call Number
- JSE 85-745