Computer Science Logic: 5th Workshop, CSL '91 Berne, Switzerland

By clibrary on Mon, 06/23/2025 - 19:41
Author

Egon Börger, Gerhard Jäger, Hans Kleine Büning, Michael M. Richter

Publisher

Springer

Subject

Computer Science

Year

1992

Vol/Edition

626

ISBN

9783540472858

URL
http://dx.doi.org/10.1007/BFb0023753