Research Catalog
A resolution principle for a logic with restricted quantifiers
- Title
- A resolution principle for a logic with restricted quantifiers / H.-J. Bürckert.
- Author
- Bürckert, H.-J. (Hans-Jürgen)
- Publication
- Berlin ; New York : Springer-Verlag, c1991.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Book/text | Request in advance | JSF 92-129 | Offsite |
Details
- Description
- x, 116 p. : ill.; 25 cm.
- Series Statement
- Lecture notes in computer science ; 568. Lecture notes in artificial intelligence
- Uniform Title
- Lecture notes in computer science ; 568.
- Lecture notes in computer science. Lecture notes in artificial intelligence.
- Subject
- Note
- Includes indexes.
- Based on the author's doctoral dissertation at the University of Kaiserslautern.
- Bibliography (note)
- Includes bibliographical references (p. [101]-109)
- Call Number
- JSF 92-129
- ISBN
- 0387550348 (U.S.)
- 3540550348 (Berlin)
- OCLC
- 29033735
- NYPG92-B18260
- Author
- Bürckert, H.-J. (Hans-Jürgen)
- Title
- A resolution principle for a logic with restricted quantifiers / H.-J. Bürckert.
- Imprint
- Berlin ; New York : Springer-Verlag, c1991.
- Series
- Lecture notes in computer science ; 568. Lecture notes in artificial intelligenceLecture notes in computer science ; 568.Lecture notes in computer science. Lecture notes in artificial intelligence.
- Bibliography
- Includes bibliographical references (p. [101]-109)
- Research Call Number
- JSF 92-129