Marcelo Finger profile picture

Marcelo Finger

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

Temporal Logic: Mathematical Foundations and Computational Aspects: Volume 2
Lógica para computação
Lógica Para Computação
Advances in Artificial Intelligence - SBIA 2012 21st Brazilian Symposium on Artificial Intelligence, Curitiba, Brazil, October 20-25, 2012, Proceedings
Frontiers of Combining Systems