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
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