Research Catalog
Zur Logik der Logik-Programmierung : ein konstruktiver Ansatz
- Title
- Zur Logik der Logik-Programmierung : ein konstruktiver Ansatz / Clemens Beckstein.
- Author
- Beckstein, Clemens
- Publication
- Berlin ; New York : Springer, c1988.
Items in the Library & Off-site
Filter by
1 Item
| Status | Vol/Date | Format | Access | Call Number | Item Location |
|---|---|---|---|---|---|
| \ | Book/Text | Request in advance | JSF 95-143 \ | Offsite |
Details
- Description
- ix, 246 p.; 25 cm.
- Series Statement
- Informatik-Fachberichte ; 199. Subreihe Künstliche Intelligenz
- Uniform Title
- Informatik-Fachberichte ; 199.
- Subreihe Künstliche Intelligenz.
- Subject
- Logic programming
- Note
- "Dissertation"--T.p. verso.
- Bibliography (note)
- Includes bibliographical references.
- Call Number
- JSF 95-143
- ISBN
- 0387507205 (U.S.)
- LCCN
- 89148252
- OCLC
- NYPG89-B20694
- Author
- Beckstein, Clemens.
- Title
- Zur Logik der Logik-Programmierung : ein konstruktiver Ansatz / Clemens Beckstein.
- Imprint
- Berlin ; New York : Springer, c1988.
- Series
- Informatik-Fachberichte ; 199. Subreihe Künstliche IntelligenzInformatik-Fachberichte ; 199.Subreihe Künstliche Intelligenz.
- Bibliography
- Includes bibliographical references.
- Research Call Number
- JSF 95-143