Marcelo Finger profile picture

Marcelo Finger

Stand Alone

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