Proceedings of the CombLog'04

Organizers
(Walter A. Carnielli, F. Miguel Dionísio, Paulo Mateus)

Published: 2017-08-25