CSL '89 : 3rd Workshop on Computer Science Logic - Kaiserslautern, FRG, October 1989, Proceedings
by Hans Kleine Büning, E. Börger, Michael M. Richter Paperback 1990
- Author: Hans Kleine Büning, E. Börger, Michael M. Richter
- ISBN 13: 9783540527534
- ISBN 10: 3540527532
- Publication Year: 1990
- Language: English
Specifications
| Index-10 | 3540527532 |
|---|---|
| Index-13 | 9783540527534 |
| Language | English |