BookFinder.com is a one-stop ecommerce search engine that searches over 150 million books for sale—new, used, rare, out-of-print, and textbooks.

Csl '87 :
1st Workshop on Computer Science Logic, Karlsruhe, Frg, October 12-16, 1987. Proceedings

by E. Borger

ISBN 3540502416 / 9783540502418 / 3-540-50241-6
Publisher Springer
Country Germany
Language English
Edition Softcover
Find All Copies

 


› Find collectible copies of 'Csl '87 : 1st Workshop on Computer Science Logic, Karlsruhe, Frg, October 12-16, 1987. Proceedings'