6th Workshop, CSL '92, San Miniato, Italy, September 28 - October 2, 1992 : selected papers Workshop on Computer Science Logic 1992 : San Miniato, Italy) creator Börger, Egon 1946- text conference publication gw Berlin Springer-Verlag 1993 monographic eng 439 p. E. Börger ... [et al.] (Eds.) Logic, Symbolic and mathematical Congresses Electronic data processing Congresses Computers Congresses Computer science Congresses QA76.9 M35 W67 1992 3540569928 090714 20260818084623.0