Egon Börger,Hans Kleine Büning,Michael M. Richter: CSL '89: 3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings
____________________________
Author: Egon Börger,Hans Kleine Büning,Michael M. Richter
Number of Pages: 444 pages
Published Date: 10 Jul 1990
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Publication Country: Berlin, Germany
Language: English
ISBN: 9783540527534
Download Link: Click Here
____________________________