Marcelo Finger
2 published titles
Temporal logic. Vol. 2, Mathematical foundations and computational aspects
(Contributor)
1 edition
- ISBN: 0198537689
- Oxford University Press
- 2000
- Details
Advances in Artificial Intelligence - SBIA 2012 : 21th Brazilian Symposium on Artificial Intelligence, Curitiba, Brazil, October 20-25, 2012. Proceedings
(Contributor)
1 edition
- ISBN: 9783642344589
- Springer
- 2012
- Details
