Logic at Botik '89

Author

Albert R. Meyer, Michael A. Taitslin

Publisher

Springer

Subject

Computer Science

Year

1989

Vol/Edition

363

ISBN

9783540461807