Luis M. Pereira profile picture

Luis M. Pereira

Is this your author profile? Create an account to customize it!

Stand Alone

Computational Logic — CL 2000 First International Conference London, UK, July 24–28, 2000 Proceedings