
Computer Science Logic
Egon Börger, Gerhard Jäger, Hans Kleine Büning
₹5,666

3rd Workshop on Computer Science Logic. Kaiserslautern, Frg, October 2-6, 1989. Proceedings
by Egon Börger, Hans Kleine Büning, Michael M. Richter
Free delivery. Nothing extra to pay at checkout.
This volume contains 28 papers on recent developments in concepts and methods of logic which are relevant for computer science.
Description supplied by the publisher.