Marcelo Finger

Temporal logic: vol.2, mathematical foundations and computational aspects

2000 · ENGLISH · DJVU

View details →

Temporal Logic: Mathematical Foundations and Computational Aspects

2000 · ENGLISH · DJVU

View details →

Advances in Artificial Intelligence - SBIA 2012: 21th Brazilian Symposium on Artificial Intelligence, Curitiba, Brazil, October 20-25, 2012. Proceedings

2012 · ENGLISH · PDF

View details →

Logic, Language, Information and Computation: 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings

2010 · ENGLISH · PDF

View details →

Logic, Language, Information and Computation: 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings

2010 · ENGLISH · PDF

View details →