Mark Reynolds
2 published titles
Temporal logic. Vol. 2, Mathematical foundations and computational aspects
(Contributor)
1 edition
- ISBN: 0198537689
- Oxford University Press
- 2000
- Details
AI 2011 : advances in artificial intelligence : 24th Australasian Joint Conference, Perth, Australia, December 5-8, 2011 : proceedings
(Contributor)
1 edition
- ISBN: 9783642258312
- Springer
- 2011
- Details