CSL '88 2nd Workshop on Computer Science Logic Duisburg, FRG, October 3-7, 1988 Proceedings / edited by Egon Börger, Hans Kleine Büning, Michael M. Richter.
Material type: TextDescription: On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of PakistanISBN:- 9783540467366