Research Catalog
Computational logic
- Title
- Computational logic / edited by Ulrich Berger, Helmut Schwichtenberg.
- Publication
- Berlin ; New York : Springer, 1999.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Book/text | Request in advance | JSE 99-1375 | Offsite |
Details
- Additional Authors
- Description
- 444 p. : ill.; 24 cm.
- Series Statement
- NATO ASI series. Series F, Computer and systems sciences ; vol. 165
- Uniform Title
- NATO ASI series. Series F, Computer and systems sciences ; v. 165.
- Subject
- Computer logic
- Note
- "Published in cooperatiton with NATO Scientific Affairs Division."
- Bibliography (note)
- Includes bibliographical references.
- Call Number
- JSE 99-1375
- ISBN
- 3540645896 (alk. paper)
- LCCN
- 99013850
- OCLC
- 40707052
- Title
- Computational logic / edited by Ulrich Berger, Helmut Schwichtenberg.
- Imprint
- Berlin ; New York : Springer, 1999.
- Series
- NATO ASI series. Series F, Computer and systems sciences ; vol. 165NATO ASI series. Series F, Computer and systems sciences ; v. 165.
- Bibliography
- Includes bibliographical references.
- Added Author
- Berger, Ulrich, 1956-Schwichtenberg, Helmut, 1942-North Atlantic Treaty Organization. Scientific Affairs Division.NATO Advanced Study Institute on Computational Logic (1997 : Marktoberdorf, Germany)
- Research Call Number
- JSE 99-1375