| Shelfclass_id | 4.B.3 |
| Sortkey | BERGER, ULRICH |
| Authors | Ulrich Berger, Helmut Schwichtenberg |
| Title | Computational Logic |
| Publisher | Springer-Verlag |
| Year | 1999 |
| Languages | eng |
| Isbn | 3540645896 |
| Series | NATO ASI (Advanced Science Institutes) series F - Computer and systems sciences |
| Volume | 165 |
| Description | (alk. paper) 444 p. ill. 24 cm |
| Record date | 20060823 |
| Location | New York |
| Keywords | Computer logic |
| Notes | "Published in cooperatiton with NATO Scientific Affairs Division." |