Research Catalog
From logic design to logic programming : theorem proving techniques and P-functions
- Title
- From logic design to logic programming : theorem proving techniques and P-functions / Dominique. Snyers, André Thayse.
- Author
- Snyers, Dominique, 1959-
- Publication
- Berlin ; New York : Springer-Verlag, c1987.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSE 87-2161 | Offsite |
Details
- Additional Authors
- Thayse, André, 1940-
- Description
- iv, 125 p. : ill.; 25 cm.
- Series Statement
- Lecture notes in computer science ; 271
- Subject
- Bibliography (note)
- Bibliography: p. [121]-125.
- Call Number
- JSE 87-2161
- ISBN
- 0387182179 (U.S.)
- LCCN
- 87020773
- OCLC
- 16466351
- NYPG87-B81502
- Author
- Snyers, Dominique, 1959-
- Title
- From logic design to logic programming : theorem proving techniques and P-functions / Dominique. Snyers, André Thayse.
- Imprint
- Berlin ; New York : Springer-Verlag, c1987.
- Series
- Lecture notes in computer science ; 271
- Bibliography
- Bibliography: p. [121]-125.
- Added Author
- Thayse, André, 1940-
- Research Call Number
- JSE 87-2161