CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 Proceedings Author:  E. Borger, H. Kleine Buning, Michael M. Richter Format:  Book Publish Date:  January 1990 ISBN-10:  3540527532 ISBN-13:  9783540527534

For the best price: or just Pages: 437 Publisher: Springer-Verlag Add this book to your wish list | View your wish list | Link to this book Click on this books subject categories to see related titles: Subjects : MATHEMATICS : General : Logic, Symbolic and mathematical Subjects : COMPUTERS : Computer Science : Computer science - Mathematics Add your own review! Book Details Summary: The title of this book is CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 Proceedings and it was written by E. Borger, H. Kleine Buning, Michael M. Richter. This edition of CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 Proceedings is in a Book format. This books publish date is January 1990 and it has a suggested retail price of . There are 437 pages in the book and it was published by Springer-Verlag. The 10 digit ISBN is 3540527532 and the 13 digit ISBN is 9783540527534.