Borger, E. Jager, G., Martini., Richter,M Kleine Buning, H

Computer Science Logic : 6th workshop, CSL '92, San Miniato, Italy, September/October 1992, Selected paers - Berlin Springer Verlag 1993 - 439 - Lecture notes in computer science ; 00702 .

3540569928


Computer Science Logic

681 LNCS
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha